SMT2 back-end: flatten with_exprt operands#8670

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:convert-withtautschnig/cbmc:convert-withCopy head branch name to clipboard