verification with graph DFS search works as planned