let
fold_pred =
SGraph
.fold_pred