Extraction: fix #3629.
Extraction: fix #3629.

The control flow of extraction is hard to read due to exceptions. When meeting
an inlined constant extracted to custom code, they could desynchronize some
tables in charge of detecting name clashes, leading to an anomaly.

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