cleaned up Statemachine files
- removed old examples
- fixed test cases
to-c rules for labels and gotos
Merge branch 'master' into import-fix