fix a broken proof in wellorderScript.sml

also looks to be broken by 5203fc