Isn't `(2*x + y).replace(a*x + b, a - b)` giving `y - 2` instead of `2 - y` a bug?