Added the function to detect infeasible constraints.