Added second version of translation for state machines with interlevel transitions.