take care of the normalizer limitation of not reducing nested matches with weak flag on
take care of the normalizer limitation of not reducing nested matches with weak flag on

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar