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