leancheck-0.8.0: test/diff/eg/test-sort.out

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