Cycle Detection using BFS