now finds strongly connected components