fix(region-domain): assume_ref with allocation sites.
fix(region-domain): assume_ref with allocation sites.

We have also fixed when the base domain is called to handle an
intrinsics that is not understood by the region domain.

seahorn/crab,seahorn/crab