add existential patterns