うわ、>>78で検出できないケースがありましたorz

××××　　→　　××××
□①××　　→　　□①××
□②①×　　→　　□②①×
□□□×　　→　　☆□□×

×・・・数字or旗or壁（確定マス）
□・・・初期状態（未確定マス）
☆・・・地雷ではないことが判明

やっぱこれが、「詰みにならない必要条件」に過ぎない故の欠陥ですね。
「詰みにならない十分条件」（＝「詰みになる必要条件」）を見つけないと、ちゃんとしたものにはならないか・・・