Adapt to rocq-prover/rocq#21820 (collapse_sort_variables arg is not implicit)#987

SkySkimmer wants to merge 1 commit intoLPCIC:masterLPCIC/coq-elpi:masterfrom

SkySkimmer:only-aboveSkySkimmer/coq-elpi:only-aboveCopy head branch name to clipboard