assert arity