Constraints:

Signature: type() : Boolean;Description: The NamedElements must be of a type of element that identifies a message
(e.g., an Operation, Reception, or a Signal).Expression: message->forAll(m | m.oclIsKindOf(Operation) or m.oclIsKindOf(Reception) or m.oclIsKindOf(Signal))

Signature: consider_or_ignore() : Boolean;Description: The interaction operator of a ConsiderIgnoreFragment must be either 'consider'
or 'ignore'.Expression: (interactionOperator = #consider) or (interactionOperator = #ignore)