= new Collector<Operator>();
Operator.createOperator(criterion, criterionOps, mc);
for (Operator programOp : programOps) {
for (Operator criterionOp : criterionOps) {
StackMapping a = new WhileApplicator(programOp, criterionOp);
solutions.put(stack.push(new Operator(a)));
}
}
}