Alternating tree automaton