4355

“A transition must not have any side effects (Assignments, FB-Calls etc.)”

A transition must be a boolean expression.