Test CellDoubleHeap: bug in contract line94?