leancheck-0.7.0: tests/diff/eg/test-sort.out

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