If one of the operands of an AND is overdefined and the other is
a constant range, the range of the result is limited by the range.
Note that without resolving the way undefs are handled, we generate
invalid code for some functions in the test.
Add a few additional test cases.
Handled directly by D71936 after the recent changes.