let fresh_var v = match v with
    | VarT (name, _, t,_) ->
        fresh_named_var name t
    | VarL (lv, t) ->
        fresh_typed_var lv.Cil_types.lv_name lv.Cil_types.lv_type t