let iter_succ f (*g*) id = Iset.iter f (get_local_depends id)