v0.0.0-6645-gd41fd8628
[XLS] Allow conditional specialization to recognize basic implications By recognizing certain special cases (equality, NOT, etc.), we can lift some conditions to apply to earlier nodes, letting conditional specialization infer more about the context in which each node is used. PiperOrigin-RevId: 710811273