Get rid of NotExists and HoldsOrExists
Add support for SelectOrAntiSemiApply
Merge pull request #2315 from systay/subgraph-signature

Add support for SelectOrAntiSemiApply