add arity-map