BFS quickCheck