- Fix major bug on HC algorithm cleaning.
- Fix Infeasibility test.