changed bfs_correctness