events with parameters first implementation with event decls, calculator example draft
events generation refactoring, fsmtest refactoring and support for events with parameters
add events with distinct parameters, transition to junction with guard and action fix