Implement depth-first search post-traverse
Test `dfs-post-traverse`