.extend on heap in push_heap