Handle unboundedness in Infeasibility analysis

[joaquimg]

Close #32

• add test

[codecov]

Codecov Report

Attention: Patch coverage is 93.54839% with 2 lines in your changes missing coverage. Please review.

Project coverage is 98.41%. Comparing base (9e71fb5) to head (41c2e9c).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
src/infeasibility.jl	93.54%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #37      +/-   ##
==========================================
- Coverage   98.52%   98.41%   -0.12%     
==========================================
  Files           7        7              
  Lines        1357     1384      +27     
==========================================
+ Hits         1337     1362      +25     
- Misses         20       22       +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.