Removed the definition of the abstract domains (already done in AbstractDomainsImpl.hh)
Removed the definition of the abstract domains (already done in AbstractDomainsImpl.hh)

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