let iter_pred = SGraph.iter_pred