[FIX] select statements were inserted inthe CFG in a wrong order
[FIX] select statements were inserted inthe CFG in a wrong order

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