anomaly involving symbol resolved and name spaces

[gares]

File "./fmdeps/cpp2v-core/rocq-bluerock-prelude/theories/elpi/derive/bitset.v", line 28, characters 0-52:
Error:
SymbolResolver: ((Ast.Structured.File
    File "./fmdeps/cpp2v-core/rocq-bluerock-prelude/theories/elpi/derive/finite_type.v", line 34, column 4, characters 1285-1322:),
 mk-finite-prelim) != ((Ast.Structured.File
    File "./fmdeps/cpp2v-core/rocq-bluerock-prelude/theories/elpi/derive/finite_type.v", line 33, column 4, characters 1233-1279:),
 derive.finite_type.mk-finite-prelim)

because there is a double accumulate (hence typing/symbol resolution) of
Elpi Accumulate derive File derive.finite_type.elpi.