Predicate Arity tests