This patch implements transform for pattern "(A & B) | ((~A) ^ B) -> (~A ^ B)".