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)