Add some tests, which should fail, but don't.