Arity detection for constants fixed