実装を壊して証明の有効性を検証する「ミューテーション」手法の連載第4回。今回は、ミューテーション自体が機能不全に陥ったケースの教訓と改善の試みを綴る。