用例缩小

属性测试找到反例后，会自动把它缩小到最简形式，方便人理解。