Maybe it's not necessary. I see that in master you would get

```
>>> solve(absxm3 - y, x)
[y + 3]
```

so your result will keep the old wrong way of doing it from returning.