Quantifier instantiation via simplistic E-matching#8224

tautschnig wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/quantifiers-eliminationtautschnig/cbmc:features/quantifiers-eliminationCopy head branch name to clipboard