Specs for Heap functions
Specs for graph functions