@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)));
}
}
@Override
public void visit(KLabelInjection kLabelInjection) {
kLabelInjection.term().accept(this);
visit((KLabel) kLabelInjection);
}