fixing val names to get rid of the warnings related to assumed vals
fixing val names to get rid of the warnings related to assumed vals

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar