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