Determine the expression boundaries of an OR conjuction

[isidentical]

Is your feature request related to a problem or challenge? Please describe what you are trying to do.
Where we have an expression like a > 20 OR a = 10, we should be able to determine the boundaries of this operation by looking at the boundaries of the two sides and union'ing them.

Describe the solution you'd like
Implement both boundary analysis and selectivity analysis for the AND conjunctions.

Describe alternatives you've considered
None

Additional context
Tracked in #3929