Moved predicates in its own package.