let map_cardinal_varinfomap (map:'Varinfo.Map.t) =
    Varinfo.Map.fold
      (fun _funcname _ cardinal -> succ cardinal)
      map 0