public static boolean isLookupKLabel(KLabel k) { return k.name().equals("#match") || k.name().equals("#mapChoice") || k.name().equals("#setChoice"); }
@Override public KLabel constructorLabel() { org.kframework.kore.KLabel kLabel = definition.configurationInfo().getConcat(cellSort); return KLabelConstant.of(kLabel.name(), definition); }