Refactored fullmatch to only try to recover infeasible subproblems