a || true
처럼 안전하게 단순화할 수 있는 bool 표현식을 탐지합니다.
일부 부수 효과가 제거될 수 있는 경우에는 표현식을 단순화하지 않습니다(예:
return || true
).