discovered issue with reduce_problem method, wrote tests to record issue