***NO_CI*** fix a typo in  tc_eqn that incorrectly prevented the insertion of a return
***NO_CI*** fix a typo in  tc_eqn that incorrectly prevented the insertion of a return

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