unsolved = new THashSet<Constraint>();
for(Constraint c : temp) {
if(c.state == Constraint.STATE_UNSOLVED) {
- Reduction reduction = environment.reduce(c.constraint);
+ Reduction reduction = environment.reduce(c.demandLocation, c.constraint);
if(reduction != null) {
TPred[] demands = reduction.demands;
if(demands.length == 0)