Initial implementation of Tarjan's SCC algorithm