이전 조건에 이미 포함되어 의미가 없는 조건과 도달 시 항상 true(또는 항상 false)가 되는 변수를 보고합니다.