a || true
のように安全に単純化できるブール式を検出します。
たとえば、
return || true
のように一部の副作用を解消できる場合は式を単純化しません。