Cycle Detection (Directed)