CellDoubleHeap: add clean_top
CellDoubleHeap: merge conflict solved