Added utilities. Added guard generation on lifted state machines for transitions coming from Any or Initial. Added guard generation for self looping transitions for lifted statemachines. Bug fix on parameter of lifted statemachines (Self) disappearing on consequent generations
Removed generation of guards for transition starting from Initial Nodes. Changed generation of guards for transitions leaving from Any nodes on statemachines with finish node
Removed restrictions and old code in InitialTransition2SourceGuardRule. Transition to leave action changed to fire late, as it needs the entering actions to be generated before