let basename = function
    | VarT(x,_,_,_) -> x
    | VarL(v,_) ->
        match v.Cil_types.lv_origin with
          | Some x -> x.Cil_types.vorig_name
          | None -> v.Cil_types.lv_name