let fold_pred   f g = fold_one_dir             f g.co_graph