let is_memvar case vinfo = match case with | Nothing -> true | Half | All -> compute(); AddrTaken.mem (Cv vinfo)