changed pairing_heap::pop()