prove another x64_heapScript.sml cheat

that's the last one labelled as locally provable