strongly connected components (not finished yet)