Non-Recursive Min-Heap Verification | FE Prep