let iter_succ = SGraph.iter_succ