events generation refactoring, fsmtest refactoring and support for events with parameters
add events with distinct parameters, transition to junction with guard and action fix