PreconstraintBehavior
A PreconstraintBehavior adds a constraint to initial states of a behavior. If a constraint works on steps, not states, as in requirement capture, it is applied to the steps issued from the initial state.
Syntax Definition
PreconstraintBehavior ::= EmbeddedCode : Behavior .
Remarks
The offered signature is that of the behavior operand.