make_smaller     1126 src/Solve.cpp              b = make_smaller(op->b);
make_smaller     1128 src/Solve.cpp              a = make_smaller(op->a);