检测可以安全简化的布尔表达式,例如 a || true
如果可以消除某些副作用则不简化表达式,例如 return || true