forbid cache hits except when running a fresh query (i.e., when using a hint; otherwise, we are possibly hitting the cache only based on the query, not the context)
forbid cache hits except when running a fresh query (i.e., when using a hint; otherwise, we are possibly hitting the cache only based on the query, not the context)

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