반증 불가능한 패턴이 앞에 오는 else 문을 탐지합니다.