let fold_pred = SGraph.fold_pred