Graphs -> TarjanStronglyConnectedComponents algorithm implementation.