IVal[] parameterVars = new IVal[parameters.length+1];
parameterVars[0] = planContext.generateNewId(location, w);
for(int i=0;i<parameters.length;++i)
- parameterVars[i+1] = parameters[i].toVal(context.environment, w);
+ parameterVars[i+1] = parameters[i].toVal(context, w);
IVal newFact = w.apply(location, constraint.constructor, parameterVars);
w.apply(location, constraint.addProcedure, planContext.getStoreVar(constraint), planContext.contextVar, newFact);
planContext.nextOp(w);