Implement Tarjan’s strong CC algorithm