Completion is now debugged and can be done on every automaton