Let remove_redundant_constraints return an empty list if infeasible

Let remove_redundant_constraints return an empty list if infeasible #501