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