Stm IsInState added.
commit conflicts.
Merge branch 'master' of https://github.com/metaborg/metac

Conflicts:
	BaseC/trans/desugaring/desugar.str
	Statemachine/trans/statemachine-names.str