Fix 3166

[Opt-Mucca]

This fixes #3166

I believe the error was that some data structures were not being updated when pruning in partitionRefinement. This had absolutely no effect on my run of MIPLIB 2017 with a 30min time limit. Given I'm not that comfortable with the symmetry code still, it should probably wait for a review.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 73.22%. Comparing base (1945ea8) to head (819a538).
⚠️ Report is 1 commits behind head on latest.

Additional details and impacted files

@@            Coverage Diff             @@
##           latest    #3182      +/-   ##
==========================================
+ Coverage   73.17%   73.22%   +0.04%     
==========================================
  Files         445      445              
  Lines      107802   107826      +24     
  Branches    17258    17262       +4     
==========================================
+ Hits        78887    78951      +64     
+ Misses      28639    28599      -40     
  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.

[fwesselm]

@Opt-Mucca, I am still learning about the symmetry detection code, but this looks correct!

I added a test, I hope that's OK, your code changes are now covered.

[Opt-Mucca]

@fwesselm I'm still learning it too. Will merge this when the tests pass!