Tests for Strongly Connected Component algorithm