如何高效定位QuickCheck属性测试失败位置？简化counterexample写法

以下是各类内容的Markdown格式化规则及示例：

• 标题：使用井号 # 标识层级，井号数量对应标题级别（1-6级）

  # 一级标题
  ## 二级标题
  ### 三级标题
  

• 列表项：以短横线 - 开头，支持嵌套层级

  - 一级列表项
    - 二级嵌套列表项
      - 三级嵌套列表项
  

• 文本强调：用星号 * 包裹文本，单星号对应斜体，双星号对应粗体

  *斜体强调内容*
  **粗体强调内容**
  

• 代码/命令：单行内容用单个反引号 ` 包裹，多行代码用三个反引号包裹，可指定代码语言

  `git commit -m "update"`
  

  def hello():
      print("Hello World")
  

• 引用文本：用大于号 > 开头，支持嵌套引用

  > 一级引用内容
  >> 二级嵌套引用内容
  

• 链接：链接文本放在方括号 [] 内，目标URL放在圆括号 () 内

  [文档首页](https://example.com/docs)
  

• 图片：图片替代文本放在方括号 [] 内，图片URL放在圆括号 () 内，可选添加标题（放在URL后，用双引号包裹）

  [示例图表](https://example.com/chart.png "月度数据统计")