public Expression solveConstraints(Environment environment, Expression expression) {
ArrayList<EVariable> constraintDemand = getConstraintDemand();
if(!constraintDemand.isEmpty()) {
- ConstraintEnvironment ce = new ConstraintEnvironment(environment);
+ ConstraintEnvironment ce = new ConstraintEnvironment(compilationContext);
ReducedConstraints red = ConstraintSolver.solve(
ce, new ArrayList<TPred>(0), constraintDemand,
true);