Index: /Code/ModelTranslator/resources/ToDo.txt
===================================================================
--- /Code/ModelTranslator/resources/ToDo.txt	(revision 135)
+++ /Code/ModelTranslator/resources/ToDo.txt	(revision 135)
@@ -0,0 +1,15 @@
+Parsen von RSF-Dateien
+* String, Integer, Hex fixen
+ - STR und STR_EMPTY zusammenlegen (STR_EMPTY streichen)
+ - Vermeiden von STR!=value (umwandeln in Not(STR=value))
+  
+* Choices behandeln (fuer Beispiel siehe CHOICE_7 und GENERIC_CPU)
+ - in DIMACS: Umwandeln in XOR Constraints (oder entsprechende CNF-Constraints)
+ - in IVML: Umwandeln in Enumerationen
+ 
+* A depends B: Beruecksichtigen von Modulenen (wenn B_Modul, dann auch A_Modul)
+
+* Variablen sind nur Konfigigurierbar wenn Sie einen Prompt haben
+ - Berücksichtigen von Constraints, welche an einem Prompt haengen
+ - Default Values ohne Prompt müssen gesetzt werden (Constraint erstellen)
+ - Kein Default und kein Prompt -> Fehlermeldung anzeigen
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java	(revision 134)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java	(revision 135)
@@ -12,4 +12,5 @@
 import de.uni_hildesheim.sse.model.varModel.AbstractVariable;
 import de.uni_hildesheim.sse.model.varModel.values.BooleanValue;
+import de.uni_hildesheim.sse.persistency.StringProvider;
 import de.uni_hildesheim.sse.trans.Main;
 import de.uni_hildesheim.sse.utils.logger.EASyLoggerFactory;
@@ -54,4 +55,6 @@
         if (declarationArray.length < 22 || "64".equals(System.getProperty("sun.arch.data.model"))) {
             handleConstraint(originalConstraint, declarationArray, config, 0);            
+        } else {
+            LOGGER.debug(StringProvider.toIvmlString(originalConstraint));
         }
     }
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 134)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 135)
@@ -40,11 +40,10 @@
         + "c  0       1     Illegal state\r\n"
         + "c  1       1     VAR is selected as module (selection is 'm')\r\n"
-        + "c As a consequence, if KConfig specifies that a tristate variable shall be selected \r\n"
+        + "c As a consequence, if KConfig specifies that a tristate variable shall be selected\r\n"
         + "c (permanetely or as a module), only the VAR variable has to be checked.\r\n\r\n"
         // String, Integer, Hex
         + "c Explanation of String, Integer, and Hex variables:\r\n"
         + "c Variable   Meaning\r\n"
-        + "c STR        Variable STR will (0 = not) exist / be selectable\r\n"
-        + "c STR_Empty  Variable STR must (0 = not) be empty\r\n"
+        + "c STR        Variable STR will (0 = not) exist / be selectable AND (0 = not) empty\r\n"
         + "c STR=Value  Variable STR must (0 = not) have the value \"Value\"\r\n\r\n"
         // End of help: Start of translation