COVER_ULP now depends on MAX_ARITY