@Override public void apply(KApply k) { if (k.klabel() instanceof KVariable) vars.put((KVariable) k.klabel(), InjectedKLabel(k.klabel())); super.apply(k); } }.process(body);
public K apply(KVariable kvar) { return new SortedADT.SortedKVariable(kvar.name(), kvar.att()); } }.apply(ruleBody);
@Override public int hashCode() { return klabel.hashCode(); } }