context XDSSDDocument inv: not self.confidentialityCode.oclIsUndefined()