new msm transformation: first step
g++4.8.1 + -Wno-unused-local-typedefs
actions
msm transformation: part two