+value_found, +visited, +conditionals on dfs, tested dfs. Works well