[FIX] Commented code by mistake in the previous commit
[FIX] Commented code by mistake in the previous commit

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