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