4363
4365
“A transition must be a boolean expression”
The result of the transition expression must be of type BOOL.
