Unit tests of AndExists