public Rule applyNormalization(Rule denormal, K... normals) { return Rule( applyNormalization(denormal.body(), normals), applyNormalization(denormal.requires(), normals), applyNormalization(denormal.ensures(), normals), denormal.att()); }
K normal = t.normalize(t.applyNormalization(lookup.klist().items().get(1), left2), left2); return Tuple3.apply(left, lookup.klabel(), new AttCompare(normal, Sort.class.getName())); }))); lookup = t.normalize(t.applyNormalization(getLookup(r, 0).klist().items().get(1), left), left); r = t.normalize(t.applyNormalization(r, left, lookup)); lookup = t.normalize(t.applyNormalization(getLookup(r, 0).klist().items().get(1), left), left); r = t.normalize(t.applyNormalization(r, left, lookup));