let fold_succ   f g = fold_one_dir             f  g.d_graph