Use FastCexSolver for simple equalities

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #140 (ee38e5c) into main (c70df43) will decrease coverage by 1.79%.
Report is 5 commits behind head on main.
The diff coverage is 75.08%.

❗ Current head ee38e5c differs from pull request most recent head 3ac7f67. Consider uploading reports for the commit 3ac7f67 to get more accurate results

@@            Coverage Diff             @@
##             main     #140      +/-   ##
==========================================
- Coverage   66.60%   64.82%   -1.79%     
==========================================
  Files         216      211       -5     
  Lines       29746    27670    -2076     
  Branches     6573     6197     -376     
==========================================
- Hits        19813    17937    -1876     
- Misses       7426     7446      +20     
+ Partials     2507     2287     -220     

Files	Coverage Δ
include/klee/ADT/DisjointSetUnion.h	90.27% <100.00%> (+1.94%)	⬆️
include/klee/Expr/Parser/Parser.h	100.00% <ø> (ø)
include/klee/Solver/IncompleteSolver.h	100.00% <ø> (ø)
include/klee/Solver/SolverUtil.h	63.79% <100.00%> (+2.62%)	⬆️
lib/Core/Executor.cpp	74.09% <100.00%> (-0.63%)	⬇️
lib/Core/TargetManager.h	96.42% <100.00%> (+1.36%)	⬆️
lib/Expr/IndependentConstraintSetUnion.cpp	95.00% <100.00%> (-0.46%)	⬇️
lib/Expr/SourceBuilder.cpp	78.43% <100.00%> (+1.83%)	⬆️
lib/Solver/CachingSolver.cpp	73.18% <100.00%> (+1.44%)	⬆️
lib/Solver/ConstructSolverChain.cpp	82.60% <100.00%> (-8.31%)	⬇️
... and 11 more

... and 38 files with indirect coverage changes