Remove duplicate implementation of stash_variables#6725

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/stash_variablestautschnig/cbmc:cleanup/stash_variablesCopy head branch name to clipboard