Refactoring automaton post state creation