Enforcing Heap Structure