Fix #3216

[fwesselm]

Fix #3216

• Correctly fix last non-fixed entry in equality cliques.
• Do not exit early when making bound modifications in HPresolve::finaliseProbing.
• Added a unit test.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 73.06%. Comparing base (2aefdbf) to head (2ed99be).
⚠️ Report is 4 commits behind head on latest.

Additional details and impacted files

@@            Coverage Diff             @@
##           latest    #3220      +/-   ##
==========================================
+ Coverage   73.04%   73.06%   +0.01%     
==========================================
  Files         445      445              
  Lines      107591   107661      +70     
  Branches    17250    17257       +7     
==========================================
+ Hits        78591    78659      +68     
- Misses      28724    28726       +2     
  Partials      276      276              

☔ View full report in Codecov by Harness.
📢 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.

[Opt-Mucca]

Changes look good. I've left a comment because I'm not sure how all cases are handled.

[jajhall]

I can't comment on the technical side of clique removal, but if this fixes #3216 and has two unit tests to validate the fix and for code coverage, then it's good with me