docs(spgroup#31): response TODO question

src/main/java/br/unb/cic/analysis/ioa/InterproceduralOverrideAssignment.java

@@ -120,7 +120,14 @@ In this case, this condition will be executed for the call to the foo() method a
                 kill(unit);
             }
 
-            // TODO Check treatment in case 'for'
+            /* TODO Check treatment in case 'for'
+            - Jimple does not exist for. The command is done using the goto.
+
+            - The variables of the force are marked as IN_BETWEEN so they do not enter the abstraction.
+
+            - The goto instructions have the following format "if i0> = 1 goto label2;" in this case,
+            they are treated as "IfStmt" and do not enter either the "if(unit instanceof AssignStmt)" nor the "else if(unit instanceof InvokeStmt)".
+             */
         } else if (unit instanceof InvokeStmt) {
             InvokeStmt invokeStmt = (InvokeStmt) unit;
             Statement stmt = getStatementAssociatedWithUnit(sm, unit, changeTag);