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