Object factory: ensure generated assignments are exactly type-consistent [blocks: #3966]#4126

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/object-factory-preserve-exact-typesmowton/cbmc:smowton/fix/object-factory-preserve-exact-typeCopy head branch name to clipboard