[NEW] added some more options during hte construction of the ikos CFG
[NEW] added some more options during hte construction of the ikos CFG

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