add support for existential nodes