let
iter_pred =
SGraph
.iter_pred