*** Failed! Falsifiable (after 14 tests):
"a" " "
*** Failed! Falsifiable (after 127 tests):
["\n"]
*** Failed! Falsifiable (after 2 tests):
"a"
+++ OK, passed 200 tests.
+++ OK, passed 200 tests.
+++ OK, passed 200 tests.
*** Failed! Falsifiable (after 2 tests):
[""]
*** Failed! Falsifiable (after 4 tests):
" "
+++ OK, passed 200 tests.