Deleted redundant function, available in kosaraju.py