now extends Automaton to avoid DFA check