Update Tarjan's SCC Algorithm