let mk_lvar v = let v = WpFol.lv_to_fol_var v in Fol.Tvar v