-- These check that the result of SCCs doesn't depend on the order of the key
-- type (Int here).

test001 = testSCC [("a", 1, []), ("b", 2, []), ("c", 3, [])]
test001 = testSCC [("a", 1, []), ("b", 2, []), ("c", 3, [])]
test001 = testSCC [("a", 1, []), ("b", 2, []), ("c", 3, [])]