Implementation of the Tarjan Algorithm for SCC