let fold_succ_e f g = fold_e_one_dir           f  g.d_graph