let cvar m vinfo =
     if Vaddr.is_funvar vinfo
     then Path (m.mem, vinfo,[],object_of vinfo.vtype)
     else Mloc (M.cvar m.mem vinfo)