Moved `IteHandler` into the preprocessing pipeline#858

Draft

Tomaqa wants to merge 8 commits into

preprocess-countersfrom

fix-internal-term-names

Commits on Dec 6, 2025

Unit tests on unsat cores with top-level ITE terms that are internally changed
Tomaqa
committed
Regression tests on unsat cores with terms that may internally be changed
Tomaqa
committed
Moved preprocessing of ITE terms into the preprocessing pipeline
Tomaqa
committed
Refactored preprocessing of ITE terms into separate function
Tomaqa
committed
Making sure IteHandler is not called repeatedly on the already seen formulas
Tomaqa
committed
Do not postpone preprocessing of ITEs when UF is combined with LA
Tomaqa
committed
Explicitly including used STL headers in MainSolver.h
Tomaqa
committed
Added cache for the preprocessing of ITE terms
Tomaqa
committed