@Override default org.kframework.kore.KList klist() { if (kLabel() instanceof KLabelInjection) { return ((KApply) ((KLabelInjection) kLabel()).term()).klist(); } else { return (KList) KCollection.upKind(kList(), Kind.KLIST); } }