Fixed enabled of self loop. Substate invariants not being generated for lifted statemachines anymore