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