simplify logic before the NEXT BIG STEP
simplify automaton building