Handle quantifiers with statement expressions#8605

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

qinheping:quantifiers-with-statement-expressionsqinheping/cbmc:quantifiers-with-statement-expressionsCopy head branch name to clipboard