[FIX]: some inconsistent state when no exit block is found.
[FIX]: some inconsistent state when no exit block is found.

seahorn/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm,caballa/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm