Add the smt_fallback attribute to the perm arguments in pts_to and ghost_pts_to
Add the smt_fallback attribute to the perm arguments in pts_to and ghost_pts_to

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar