Skip empty aliases in Evarsolve substitutions.
Skip empty aliases in Evarsolve substitutions.

These aliases do not contribute to any result, because all callers would
fail on an empty list.

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