check for side effects in quantifiers#2979

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

quantifier-sideeffectsdiffblue/cbmc:quantifier-sideeffectsCopy head branch name to clipboard