Convert 'A && (!A || B)' to 'A || B' in various places.