Related content
guard : Constraint [0..1]{subsets Namespace::ownedRule} (opposite A_guard_transition::transition)
... If the guard is true at that time, the Transition may be enabled, otherwise, it is disabled. Guards should be pure expressions without side effects. Guard expressions with side effects are ill formed.