Fix new_problem_with_debug