Add a small missed optimization: turn X == C ? X : Y into X == C ? C : Y. This