*** quickcheck expected to find a counterexample but did not find one
*** At command "quickcheck" (line 79 of "$AFP/Coinductive/TLList.thy")