clean up of prob_solve