context nonXMLBodySpec
inv: self.confidentialityCode.oclIsUndefined()