---

11.6 Well-formedness – Mixing

A behavior description introduces a sequence of statements. A statement itself can be a compound, which is a sequence of statements between curly braces.

In order to be able to define clear semantics, there are some restrictions on the mix of statements in such a sequence.

• Declarative statement expected
• Imperative statement expected
• Cannot use otherwise guard more than once
• Cannot use otherwise guard with non-guard statements
• Cannot use illegal with imperative statements
• Cannot use illegal in if-statement
• Cannot use illegal in function