Work around Z3 not producing models for some quantified expressions#8703

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

tautschnig:trying-to-fix-z3-with-quantifierstautschnig/cbmc:trying-to-fix-z3-with-quantifiersCopy head branch name to clipboard