Redirecting to Tree automaton