oops - add missing THEN to compilerProofsScript.sml