Update Kosaraju Algorithm with slice