Harness2 的递归改写是指把 harness 的改写结果再作为下一轮改写的输入，形成迭代。