refactor(heap-abs): map collapsed nodes to regions
refactor(heap-abs): map collapsed nodes to regions

Until now we were ignoring collapsed nodes. From now on, we map the
whole collapsed node to a region and let Crab domains to deal with
that.

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