Fix compilation with Coq 8.4pl4.
Fix bug in translation of for caused by 1e9aa628.