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