C front-end: tolerate type differences with asm renaming#7584

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/asm-renaming-type-conflicttautschnig/cbmc:features/asm-renaming-type-conflictCopy head branch name to clipboard