for(int i=0;i<parameters.length;++i)
parameterVars[i+1] = parameters[i].toVal(context.environment, w);
IVal newFact = w.apply(location, constraint.constructor, parameterVars);
for(int i=0;i<parameters.length;++i)
parameterVars[i+1] = parameters[i].toVal(context.environment, w);
IVal newFact = w.apply(location, constraint.constructor, parameterVars);