I'd prefer a comment of the form `"If both x.opBinary(y) and y.opBinaryRight(x) found, and they are exactly same symbol, x.opBinary(y) should be preferred"` which I took from your Bugzilla report!