Description

This request improves performance of the engine by removing some constraints from the queries to a solver.

Type of Change

• Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

Automated Testing

The whole pipeline is working fine, runs using contestEstimator didn't find any new issues

Manual Scenario

It was not tested manually.

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• New tests have been added
• All tests pass locally with my changes