도달하면 항상 true(또는 항상 false)인 변수를 보고합니다.