fixed reduce_problem issue, found new issue with make_matrix_solveable, wrote tests