Constraints:

Signature: no_occurrence_specifications_below() : Boolean;Description: No other OccurrenceSpecifications on a given Lifeline in an InteractionOperand
may appear below a DestructionOccurrenceSpecification.Expression: true