Use the code_fort API

Do not use the low-level op0, etc making assumptions about the implementation
details.

Author: tautschnig

src/ansi-c/expr2c.cpp

@@ -2801,16 +2801,16 @@ std::string expr2ct::convert_code_for(
   std::string dest=indent_str(indent);
   dest+="for(";
 
-  if(!src.op0().is_nil())
-    dest+=convert(src.op0());
+  if(!src.init().is_nil())
+    dest += convert(src.init());
   else
     dest+=' ';
   dest+="; ";
-  if(!src.op1().is_nil())
-    dest+=convert(src.op1());
+  if(!src.cond().is_nil())
+    dest += convert(src.cond());
   dest+="; ";
-  if(!src.op2().is_nil())
-    dest+=convert(src.op2());
+  if(!src.iter().is_nil())
+    dest += convert(src.iter());
 
   if(src.body().is_nil())
     dest+=");\n";

src/goto-programs/goto_convert.cpp

@@ -952,7 +952,7 @@ void goto_convertt::convert_for(
   // do the x label
   goto_programt tmp_x;
 
-  if(code.op2().is_nil())
+  if(code.iter().is_nil())
   {
     tmp_x.add_instruction(SKIP);
     tmp_x.instructions.back().source_location=code.source_location();