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