strongly connected components and (maybe working) simple cycles