Fix a ValueTracking rule: RHS means operand 1, not 0. Add a simple