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