Implement heuristic to refute #Not (#Exists ...)#3455

Draft

ana-pantilie wants to merge 7 commits intomasterfrom simplify-not-exists

+57-10

Commits on Jan 23, 2023

WIP: generate predicates with heuristic applied
ana-pantilie
committed

Commits on Feb 9, 2023

Merge remote-tracking branch 'origin/master' into simplify-not-exists
ana-pantilie
committed