[Symex] Bugfix in ConstraintSimplifier for constraints with negated universal quantifiers#68

dawa6183 wants to merge 2 commits into

uuverifiers:masteruuverifiers/eldarica:masterfrom

dawa6183:bugfix-quantifierdawa6183/eldarica:bugfix-quantifierCopy head branch name to clipboard