context PolicyActivity inv: self.performer->size()=1 and self.performer->forAll(perf : POCDMT000040Performer2 | not perf.typeCode.oclIsUndefined() and perf.typeCode=ParticipationPhysicalPerformer::PRF )