Some tests for stronglyConnected