The main function to heapify a Max Heap. The function assumes that everything under given root (element at index idx) is already heapified
source not stored for this graph (policy: none)
no test coverage detected