let
fold_pred f g = fold_one_dir f g.co_graph