generate better state machines to increase traceability of simulation