Fix several bugs

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #144 (9a3a77f) into main (1e08227) will decrease coverage by 2.46%.
The diff coverage is 83.33%.

❗ Current head 9a3a77f differs from pull request most recent head 5dcb0f3. Consider uploading reports for the commit 5dcb0f3 to get more accurate results

@@            Coverage Diff             @@
##             main     #144      +/-   ##
==========================================
- Coverage   66.83%   64.37%   -2.46%     
==========================================
  Files         218      213       -5     
  Lines       29956    27653    -2303     
  Branches     6601     6189     -412     
==========================================
- Hits        20021    17803    -2218     
- Misses       7425     7577     +152     
+ Partials     2510     2273     -237     

Files	Coverage Δ
include/klee/Expr/AlphaBuilder.h	100.00% <100.00%> (ø)
lib/Core/Memory.cpp	75.00% <ø> (-0.93%)	⬇️
lib/Solver/AlphaEquivalenceSolver.cpp	84.90% <100.00%> (+0.79%)	⬆️
include/klee/ADT/SparseStorage.h	89.83% <50.00%> (ø)

... and 34 files with indirect coverage changes