Symbol: solver_disableproblem