throw new InternalCompilerError();
}
for(Constraint constraint : group) {
- Reduction reduction = environment.reduce(constraint.constraint);
+ Reduction reduction = environment.reduce(constraint.demandLocation, constraint.constraint);
if(reduction.demands.length > 0)
throw new InternalCompilerError();
constraint.setGenerator(Constraint.STATE_HAS_INSTANCE,