Use arity /3 for AccFun.