predicate warning