Some extensions to the translation: - The translation of icmp instructions also includes cases where the   condition is a phi node. - Covered cases with calls to   verifier.assume/verifier.assume.not/verifier.assert when the   condition is not a icmp instrution.
Some extensions to the translation:
- The translation of icmp instructions also includes cases where the
  condition is a phi node.
- Covered cases with calls to
  verifier.assume/verifier.assume.not/verifier.assert when the
  condition is not a icmp instrution.

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