// Try to find constant evidence and prefer that
// to subclass
{
- Reduction reduction = environment.reduce(constraint);
+ Reduction reduction = environment.reduce(demandLocation, constraint);
if(reduction != null && reduction.demands.length == 0) {
generator = reduction.generator;
generatorParameters = reduction.parameters;