+ heap: FibHeap
+ heap: FibHeap.decrease_key