Don't generate unnecessary fresh symbols for the GOTO trace#7021

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/no-unnecessry-fresh-symbolstautschnig/cbmc:cleanup/no-unnecessry-fresh-symbolsCopy head branch name to clipboard