Insert a new Range merging as appropriate to maintain the disjoint cover \param spc is the address space containing the new range \param first is the offset of the first byte in the new range \param last is the offset of the last byte in the new range
source not stored for this graph (policy: none)