final RippleList rest = stack.getRest();
Sink<Operator> opSink = new Sink<Operator>() {
public void put(final Operator op) throws RippleException {
solutions.put(rest.push(
new StackMappingWrapper(new TimesQuantifier(op, times, times), mc)));
}
};
Operator.createOperator(p, opSink, mc);
}