More about the advantages of our representation of heap instances.