Implemented Fibonacci Heap with spec