let
fvar_of_cvar v t =
Fol
.
Var
.mk_lvar_variable (
Cil
.cvar_to_lvar v) t