GuardIF tested.
Transition::ifMatch, execute tested.