Parsen von RSF-Dateien
* (done) String, Integer, Hex fixen
 - (done) STR und STR_EMPTY zusammenlegen (STR_EMPTY streichen)
 - (done) Vermeiden von STR!=value (umwandeln in Not(STR=value))
  
* Choices behandeln (fuer Beispiel siehe CHOICE_7 und GENERIC_CPU)
 - (done) in DIMACS: Umwandeln in XOR Constraints (oder entsprechende CNF-Constraints)
 - in IVML: Umwandeln in Enumerationen
 
* (done) A depends B: Beruecksichtigen von Modulenen (wenn B_Modul, dann auch A_Modul)
 - Was tun, wenn B Tristate aber A nicht?
 - Was tun, wenn B mehrere Tristates enthhlt?

* Variablen sind nur Konfigigurierbar wenn Sie einen Prompt haben
 - Beruecksichtigen von Constraints, welche an einem Prompt haengen
 - Default Values ohne Prompt muessen gesetzt werden (Constraint erstellen)
 - Kein Default und kein Prompt -> Fehlermeldung anzeigen (in der Fehlermeldung selectItems beruecksichtigen)
 - Beruecksichtigen von mehreren Prompts (eine Variable kann auch 3 Prompts enthalten)

* Beruecksichtigen von Variablen in Hochkommentaren. Scheint bei ItemSelects noch nicht voll unterstuezt zu werden (Beispiel ItemSelects    XEN_KBDDEV_FRONTEND 'XEN_XENBUS_FRONTEND'   !'S390' && INPUT && XEN_FBDEV_FRONTEND fuehrt zu 'XEN_XENBUS_FRONTEND')
* Beruecksichtigen von mehreren depends (Beispiel X86_EXTENDED_PLATFORM)

* IVML
 - toNotBooleanConstraintSyntaxTree() in Constraints implementieren