Strongly connected subgraphs (Tarjan).
Merge branch 'a2t3-strongly-connected': Tarjan