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