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

*** Failed! Falsifiable (after 4 tests):
[] [0,0]
*** Failed! Falsifiable (after 1 tests):
[]
*** Failed! Exception '...' (after 1 tests):
[]