If you give Claude examples of good and bad property tests, and explain why, it gets much better than it was out of the box.