Open h0nzZik opened 4 years ago
Create a strategy replace-svar-with-constant that would be an equivalent of replace-evar-with-func-constant for set variables.
replace-svar-with-constant
replace-evar-with-func-constant
Create a strategy
replace-svar-with-constantthat would be an equivalent ofreplace-evar-with-func-constantfor set variables.