let iter_succ f _g v = Inthash.iter (fun _ -> f) v.cnCallees