Remove renamedt from symex_targett interface#8447

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

tautschnig:no-renamedttautschnig/cbmc:no-renamedtCopy head branch name to clipboard