Several fixes

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #157 (83311cb) into main (e7af873) will decrease coverage by 3.11%.
The diff coverage is 64.07%.

❗ Current head 83311cb differs from pull request most recent head 8b43be8. Consider uploading reports for the commit 8b43be8 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #157      +/-   ##
==========================================
- Coverage   67.64%   64.54%   -3.11%     
==========================================
  Files         224      215       -9     
  Lines       31291    27829    -3462     
  Branches     6861     6211     -650     
==========================================
- Hits        21168    17961    -3207     
- Misses       7520     7568      +48     
+ Partials     2603     2300     -303     

Files	Coverage Δ
include/klee/ADT/DisjointSetUnion.h	87.30% <ø> (ø)
include/klee/ADT/Either.h	95.83% <ø> (ø)
include/klee/Core/Interpreter.h	100.00% <ø> (ø)
include/klee/Expr/AlphaBuilder.h	100.00% <ø> (ø)
include/klee/Expr/IndependentSet.h	69.76% <100.00%> (-0.69%)	⬇️
include/klee/Module/KModule.h	82.85% <100.00%> (+1.03%)	⬆️
lib/Core/ExecutionState.cpp	73.92% <100.00%> (-0.18%)	⬇️
lib/Core/ExecutionState.h	92.92% <100.00%> (+0.07%)	⬆️
lib/Core/Memory.h	88.33% <100.00%> (+0.40%)	⬆️
lib/Core/Searcher.cpp	78.97% <100.00%> (-0.25%)	⬇️
... and 17 more

... and 40 files with indirect coverage changes