Arity check on predicate applications