Added support for pure predicates.