Handle existential quantification in Conditions