Redirecting to Alternating finite automaton