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