Detects boolean expressions that can be safely simplified like a || true.
Does not simplify expressions if some side effects can be eliminated, such as return || true for example.