testing tarjan SCC