Create a strategy `replace-svar-with-constant` that would be an equivalent of `replace-evar-with-func-constant` for set variables.