This is one of the tests that does not have a problem, since grade_school:sort/1 has a well defined return type that doesn't have to be the internal representation.