Compare expressions by height in simplifier

[ocelaiwo]

No description provided.

[codecov-commenter]

Codecov Report

Merging #138 (490b2e8) into main (f1e8720) will increase coverage by 0.12%.
Report is 4 commits behind head on main.
The diff coverage is 92.02%.

❗ Current head 490b2e8 differs from pull request most recent head 12e689e. Consider uploading reports for the commit 12e689e to get more accurate results

@@            Coverage Diff             @@
##             main     #138      +/-   ##
==========================================
+ Coverage   66.43%   66.56%   +0.12%     
==========================================
  Files         215      215              
  Lines       29671    29717      +46     
  Branches     6572     6591      +19     
==========================================
+ Hits        19712    19781      +69     
+ Misses       7447     7420      -27     
- Partials     2512     2516       +4     

Files	Coverage Δ
include/klee/Expr/Expr.h	82.62% <100.00%> (+0.61%)	⬆️
lib/Core/TargetCalculator.h	100.00% <ø> (ø)
lib/Core/TypeManager.cpp	98.68% <100.00%> (+0.15%)	⬆️
lib/Expr/Constraints.cpp	77.91% <100.00%> (ø)
lib/Expr/Expr.cpp	73.21% <100.00%> (+0.19%)	⬆️
lib/Expr/Updates.cpp	88.67% <100.00%> (+2.01%)	⬆️
lib/Module/CodeGraphInfo.cpp	73.15% <100.00%> (+4.16%)	⬆️
lib/Core/Executor.cpp	74.56% <75.00%> (-0.05%)	⬇️
lib/Core/TargetCalculator.cpp	89.18% <86.11%> (+14.79%)	⬆️

... and 2 files with indirect coverage changes