Reorder the calls to the subgoals tactics in clenv_refine_in.
Reorder the calls to the subgoals tactics in clenv_refine_in.

This should be equivalent for all callers.

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