:load test/prop-fail/bad-tests.disco