add test for existential quantifier