updated test predicates