removing quantifier instantiation loop on `closure_inversion`. thanks @chrishawblitzel
removing quantifier instantiation loop on `closure_inversion`. thanks @chrishawblitzel

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar