testing finished for new reduce_problem method