introduce new predicate patterns