Fix OrExpr->isDefinitelyFalse()