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