[FIX] translation of the unreachable instruction.
[FIX] translation of the unreachable instruction.

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