Nondeterministic tree automaton