public Constant liftClosure(BoundVar newTarget, BoundVar[] parameters) {
ruleset.this_ = newTarget;
ruleset.parameters = parameters;
public Constant liftClosure(BoundVar newTarget, BoundVar[] parameters) {
ruleset.this_ = newTarget;
ruleset.parameters = parameters;