alternating tree automaton