Simplify quantified expressions over constants#8608

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:simp-quanttautschnig/cbmc:simp-quantCopy head branch name to clipboard