Mimic GCC/Clang simplification behaviour when type checking ?:#7959

tautschnig wants to merge 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/gcc-clang-ite-simptautschnig/cbmc:features/gcc-clang-ite-simpCopy head branch name to clipboard