Add spec for Heap