論駁不可能なパターンが先行している else ステートメントを検出します。