Fix goto-instrument --dump-c parameter/local variable name collision#8804

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

tautschnig:fix-6268-dump-c-name-clashtautschnig/cbmc:fix-6268-dump-c-name-clashCopy head branch name to clipboard