[FIX] invariants can be now relational: in the worst case they will involve all the live variables.
[FIX] invariants can be now relational: in the worst case they will involve all the live variables.

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