leancheck-1.0.2: eg/test-sort.txt

+++ OK, passed 200 tests.
*** Failed! Falsifiable (after 4 tests):
0 [0,0]
+++ OK, passed 200 tests.