Kosaraju Two-Pass Algorithm to compute SCCs