New rewrite for value replacements

There are scripts that emulate the existing replace via X + (X == 0) * s which we should rewrite to replace(target=X, pattern=0, replacement=s).