Adding support to Nested State Machines