let
fold_pred_e f g = fold_e_one_dir ~rev:
true
f g.co_graph