update reference to flookup_fupdate_list in compilerProofScript.sml