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