Ordered evars by level of dependency in the merging phase of unification so as to get instances of evars closer from what the user sees.
Ordered evars by level of dependency in the merging phase of unification
so as to get instances of evars closer from what the user sees.

git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@16160 85f007b7-540e-0410-9357-904b9bb8a0f7

gmalecha/coq,Lionel-Rieg/coq,JasonGross/coq,ejgallego/coq,pirbo/coq,herbelin/github-coq,gares/coq,pirapira/coq2rust,Matafou/coq,silene/coq,TheTypoMaster/coq,aspiwack/coq,herbelin/github-coq,letouzey/coq-wip,gares/coq,JasonGross/coq,gmalecha/coq,Ptival/coq,silene/coq,gmalecha/coq,letouzey/coq-wip,ppedrot/coq,8l/coq,silene/coq,SkySkimmer/coq,Ptival/coq,Matafou/coq,JasonGross/coq,shindere/coq,maximedenes/coq,Matafou/coq,ale-f/coq,aspiwack/coq,coq/coq,JasonGross/coq,coq/coq,TheTypoMaster/coq,mlasson/coq,jpdeplaix/coq,ejgallego/coq,amintimany/coq,coq/coq,ppedrot/coq,aspiwack/coq,ale-f/coq,pirapira/coq2rust,letouzey/coq-wip,Zimmi48/coq,Zimmi48/coq,barras/coq,Ptival/coq,gares/coq,gares/coq,jpdeplaix/coq,ejgallego/coq,maximedenes/coq,letouzey/coq-wip,8l/coq,SkySkimmer/coq,SkySkimmer/coq,letouzey/coq-wip,asr/coq,amintimany/coq,pirbo/coq,shindere/coq,barras/coq,pirapira/coq2rust,coq/coq,mattam82/coq,Lionel-Rieg/coq,TOSPIO/coq,TOSPIO/coq,pirbo/coq,herbelin/github-coq,mlasson/coq,ppedrot/coq,TOSPIO/coq,ppedrot/coq,william-lawvere/coq,ppedrot/coq,8l/coq,jpdeplaix/coq,barras/coq,william-lawvere/coq,maximedenes/coq,mattam82/coq,ale-f/coq,amintimany/coq,ejgallego/coq,Zimmi48/coq,gares/coq,william-lawvere/coq,SkySkimmer/coq,maximedenes/coq,shindere/coq,Zimmi48/coq,asr/coq,asr/coq,maximedenes/coq,TheTypoMaster/coq,mlasson/coq,Lionel-Rieg/coq,mattam82/coq