Terminate when an automaton is found.
Revert debugging change.