Redirecting to Büchi automaton