Fast path in the Evarsolve computation of distinct aliasing check.
Fast path in the Evarsolve computation of distinct aliasing check.

We know that containing unique aliases is closed under subset, so one can
immediately check the set of aliases instead of crawling the term for actual
dependencies.

This reduces runtime of the example from #11488 by a factor of three on my
machine, from ~110s to ~35s.

ejgallego/coq,SkySkimmer/coq,coq/coq,Zimmi48/coq,Zimmi48/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,coq/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,Zimmi48/coq