with_exprt need only have an odd number of operands [blocks: #2068]#4059

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:with-exprt-checkstautschnig/cbmc:with-exprt-checksCopy head branch name to clipboard