fixing smt encoding for abstractions to take into account the free variables in the return type also
fixing smt encoding for abstractions to take into account the free variables in the return type also

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