let
iter_succ =
SGraph
.iter_succ