adds Kosaraju algorithm