@Override public void visit(KLabelInjection node) { if (node.isGround() && node.isNormal()) { rhsSchedule.add(RHSInstruction.PUSH(node)); } else { node.term().accept(this); rhsSchedule.add(RHSInstruction.CONSTRUCT(new Constructor(ConstructorType.KLABEL_INJECTION))); } }