Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph by Stephan Merz and Vincent Trélat Aug 17