fix broken proof in inferSoundScript.sml

was stalling the build