boolean a = Ripple.asynchronousQueries();
Ripple.enableAsynchronousQueries(false);
try {
Collector<RippleList> s = new Collector<RippleList>();
StackEvaluator e = new LazyStackEvaluator();
e.apply(arg.push(Operator.OP), s, mc);
int count = s.size();
solutions.put(
arg.getRest().push(
mc.valueOf(count)));