fib_heap::decrease_key seems to work so far