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