******************** tasty-autocollect failure ********************
test_prop requires at least the name of the test