doing the dfs_path in digraph_functional.ml