final RippleList rest = stack.getRest();
RippleValue f = stack.getFirst();
Sink<Operator> opSink = new Sink<Operator>() {
public void put(final Operator op) throws RippleException {
RippleValue inverse = new StackMappingWrapper(op.getMapping().getInverse(), mc);
solutions.put(rest.push(inverse));
}
};
Operator.createOperator(f, opSink, mc);