context BPPCSpec inv: self.templateId->exists(ii : II | (not ii.root.oclIsUndefined()) and ii.root = '1.3.6.1.4.1.19376.1.5.3.1.1.7' or ii.root ='1.3.6.1.4.1.19376.1.5.3.1.1.7.1')