context XDSSDBppcTemplateWithNoSD inv: self.id->size()>0 and self.id->forAll(ii : II | (not ii.root.oclIsUndefined()))