Use get_fresh_aux_symbol to construct dynamic objects#3999

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:dynamic-get_fresh_aux_symboltautschnig/cbmc:dynamic-get_fresh_aux_symbolCopy head branch name to clipboard