Fix support for `with_exprt` with more than 3 operands#8668

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:with-expr-fixestautschnig/cbmc:with-expr-fixesCopy head branch name to clipboard