BUG: Automaton should accept `init` and `final` as state names