[FIX] return false when the invariant is bottom (it was returning true).
[FIX] return false when the invariant is bottom (it was returning true).

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