Remove the incorrect implementation of the `dfs-traverse`