visit_min_max_op  463 src/Solve.cpp          visit_min_max_op(op, true);
visit_min_max_op  467 src/Solve.cpp          visit_min_max_op(op, false);