Constraints:

Signature: no_occurrence_above() : Boolean;Description: No othet OccurrenceSpecification may appear above an OccurrenceSpecification
which references a CreationEvent on a given Lifeline in an InteractionOperand.Expression: true