Cons predicate testing