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
 - Bercksichtigen von Constraints, welche an einem Prompt haengen
 - Default Values ohne Prompt mssen gesetzt werden (Constraint erstellen)
 - Kein Default und kein Prompt -> Fehlermeldung anzeigen

* IVML
 - toNotBooleanConstraintSyntaxTree() in Constraints implementieren