debug fib-heap insert
update fib-heap