Implement quantifier support for incremental SMT2 decision procedure#8921

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

tautschnig:fix-8053-smt2-incr-quantifierstautschnig/cbmc:fix-8053-smt2-incr-quantifiersCopy head branch name to clipboard