Fixed a bug in verification that has been there whole time but just now exposed since another part of the code was removed
Fixed a bug in verification that has been there whole time but just now exposed since another part of the code was removed

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