Polish BuildHeapVisualProof