Contracts/dynamic frames: do not attempt to instrument typedefs#8403

feliperodri merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-dfcc-typedeftautschnig/cbmc:fix-dfcc-typedefCopy head branch name to clipboard