Completion of automaton is now available (in test)