@Override public scala.collection.Set<K> apply(KVariable k) { if (k.name().equals("HOLE")) { return org.kframework.Collections.Set(k); } else { return super.apply(k); } } }.apply(body).size();
@Override public scala.collection.Set<K> apply(KRewrite k) { return this.merge(org.kframework.Collections.Set(k), super.apply(k)); } }.apply(body).size();
public scala.collection.Set<K> apply(KApply k) { if (k.klabel().name().equals("#RESTORE_CONFIGURATION")) return org.kframework.Collections.Set(k.klist().items().get(0)); else return super.apply(k); } }.apply(theNew).head();
public scala.collection.Set<K> apply(KApply k) { if (k.klabel().name().equals(Strategy.strategyCellName())) return org.kframework.Collections.Set(k); else return super.apply(k); } }.apply(theNew).head();