Bool reducing and runtime-equality

a1, b1 = ...
if a == b:
    a2, b2 = ...
else:
    a3, b3 = ...
a4, b4 = ...

a2 is equal to a1

b2 is equal to b1

a2 is equal to b2

a1 is NOT equal to b1

Hrm, but to a bool looking at b2 it's as good as equal to a1.. ahh, but only b2 will be visible, not b1, and b1 is not equal.

The ultimate goal is for a branch to be able to match a bool's reduced values at any of those locations.