(SCC) A subset, S, of the nodes of a directed graph such
that any node in S is reachable from any other node in S and S
is not a subset of any larger such set. SCCs are equivalence
classes under the transitive closure of the "directly
connected to" relation.