Introduce an Exists predicate to be used in the absence of meaningful predicates on a node