condense strongly connected components in graph