make_bigger      1125 src/Solve.cpp              a = make_bigger(op->a);
make_bigger      1129 src/Solve.cpp              b = make_bigger(op->b);