Add patterns to lemmas in FStar.ReflexiveTransitiveClosure
Add patterns to lemmas in FStar.ReflexiveTransitiveClosure

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