context PolicyActivity
inv: self.participant->size()=1 and 
self.participant->forAll(part : POCDMT000040Participant2 | 
		not part.typeCode.oclIsUndefined() and
		part.typeCode=ParticipationType::COV
)