[TG-3259] Clear string_refinement equations#2054

allredj merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/clear-equationsromainbrenguier/cbmc:bugfix/clear-equationsCopy head branch name to clipboard