aliases redirection of parameter names in transition body generation
fix transition actions to junction generation bug
work on calculator example
extend expressions in actions syntax
fix waiting for state change during Initiate