IVal newFact = w.apply(location, constraint.constructor, parameterVars);
w.apply(location, constraint.addProcedure, planContext.getStoreVar(constraint), planContext.contextVar, newFact);
planContext.nextOp(w);
IVal newFact = w.apply(location, constraint.constructor, parameterVars);
w.apply(location, constraint.addProcedure, planContext.getStoreVar(constraint), planContext.contextVar, newFact);
planContext.nextOp(w);