Fix statement-expression expansion for Kani-provided quantifiers#8649

remi-delmas-3000 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-quantifier-conversiontautschnig/cbmc:fix-quantifier-conversionCopy head branch name to clipboard