trigger[guard]/effect one creates a state machine diagram, two states and a transition. After that, one edits the transition and enters the data regarding trigger, guard, and effect according to the following picture:
To enter the guard, you select Constraint and a new window opens, where you fill in the field Specification:
