fix proof in ml_heapScript.sml

probably broken by something in the change to the HOLHEAP