[fwesselm]

Description

Fix #3557

Checklist

• I have read the contributing guidelines
• This PR targets the latest branch
• Tests are passing
• Documentation was updated where relevant
• This PR is not primarily AI-generated (per the AI contributions policy in CONTRIBUTING.md)

[codecov]

Codecov Report

❌ Patch coverage is 96.00000% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 75.70%. Comparing base (899cc62) to head (7cab7ca).
⚠️ Report is 1 commits behind head on latest.

Files with missing lines	Patch %	Lines
check/TestPresolve.cpp	95.65%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           latest    #3566      +/-   ##
==========================================
+ Coverage   75.66%   75.70%   +0.03%     
==========================================
  Files         461      461              
  Lines      113823   113845      +22     
  Branches    17913    17913              
==========================================
+ Hits        86128    86186      +58     
+ Misses      27407    27371      -36     
  Partials      288      288              

☔ 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.