WIP - implementing Tarjan's SCC algo