Guards

In a simple transition with a guard, the guard expression must evaluate to true before the transition is triggered. In compound transitions involving multiple guards, all guards are evaluated before a transition is triggered, unless there are choice points along one or more of the paths. Guards downstream of a choice point are only evaluated if the choice point is reached. Guards should not include expressions causing side effects.