a = a or b turns into a = a and b
a = a or b turns into a = a and b