REVERT: CQueue regressions for the normalizer change for not memoing when pattern matches
REVERT: CQueue regressions for the normalizer change for not memoing when pattern matches

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar