Simplify WITH expression over structs with a single component#8724

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:simplify-with-single-membertautschnig/cbmc:simplify-with-single-memberCopy head branch name to clipboard