A separate commit for a TcTerm change: preserving the type arguments of the precedes relation
A separate commit for a TcTerm change: preserving the type arguments of the precedes relation

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar