Class TranslatorToCAst.DoLoopTranslator