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