[NEW] abstract domain for computing summaries can be selected by the user.
[NEW] abstract domain for computing summaries can be selected by the user.

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