Index: /Code/ModelTranslator/output/model.dimacs
===================================================================
--- /Code/ModelTranslator/output/model.dimacs	(revision 75)
+++ /Code/ModelTranslator/output/model.dimacs	(revision 76)
@@ -1,4 +1,0 @@
-c X86 translation of Linux 2.6.33.3 using KConfigReader
-
-c Version 2.6.33.3
-p CNF 0 0
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java	(revision 75)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java	(revision 76)
@@ -8,5 +8,5 @@
 import de.uni_hildesheim.sse.model.varModel.Project;
 import de.uni_hildesheim.sse.trans.convert.CNFConverter;
-import de.uni_hildesheim.sse.trans.convert.MaxTermConverter;
+import de.uni_hildesheim.sse.trans.convert.MaxTermConverter2;
 import de.uni_hildesheim.sse.trans.in.IModelReader;
 import de.uni_hildesheim.sse.trans.in.InputType;
@@ -80,5 +80,5 @@
                 break;
             case DIMCAS:
-                CNFConverter.convert(model, new MaxTermConverter());
+                CNFConverter.convert(model, new MaxTermConverter2());
                 System.out.println("Conversion completed.");
                 writer = new DimacsWriter(model, out);
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java	(revision 75)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java	(revision 76)
@@ -46,8 +46,8 @@
         List<Constraint> constraints = constFinder.getConstraints();
         
-        int num = 0;
         int lastNum = 0;
         long ms = 0;
         long timeLast = System.currentTimeMillis();
+        
         for (int i = 0, n = constraints.size(); i < n; i++) {
             Constraint constraint = constraints.get(i);
@@ -59,12 +59,11 @@
             }
             
-            num++;
             ms += System.currentTimeMillis() - timeLast;
             timeLast = System.currentTimeMillis();
             while (ms > 5000) {
                 ms -= 5000;
-                LOGGER.info("Progress: " + num + "/" + constraints.size()
-                        + " (" + (num - lastNum) + " in last 5 seconds)");
-                lastNum = num;
+                LOGGER.info("Progress: " + i + "/" + constraints.size()
+                        + " (" + (i - lastNum) + " in last 5 seconds)");
+                lastNum = i;
             }
             
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 75)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 76)
@@ -245,11 +245,11 @@
         ConstraintSyntaxTree call = null;
         if (!states[0]) {
-            call = new Variable(variables[0]);
+            call = getVariable(variables[0]);
         } else {
-            call = new OCLFeatureCall(new Variable(variables[0]), OclKeyWords.NOT);
+            call = new OCLFeatureCall(getVariable(variables[0]), OclKeyWords.NOT);
         }
         
         for (int i = 1; i < variables.length; i++) {
-            ConstraintSyntaxTree variable = new Variable(variables[i]);
+            ConstraintSyntaxTree variable = getVariable(variables[i]);
             if (states[i]) {
                 variable = new OCLFeatureCall(variable, OclKeyWords.NOT);
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java	(revision 75)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java	(revision 76)
@@ -9,5 +9,4 @@
 import de.uni_hildesheim.sse.model.cst.ConstraintSyntaxTree;
 import de.uni_hildesheim.sse.model.cst.OCLFeatureCall;
-import de.uni_hildesheim.sse.model.cst.Variable;
 import de.uni_hildesheim.sse.model.cstEvaluation.EvaluationVisitor;
 import de.uni_hildesheim.sse.model.varModel.AbstractVariable;
@@ -128,11 +127,11 @@
         ConstraintSyntaxTree call = null;
         if (!states[0]) {
-            call = new Variable(variables[0]);
+            call = getVariable(variables[0]);
         } else {
-            call = new OCLFeatureCall(new Variable(variables[0]), OclKeyWords.NOT);
+            call = new OCLFeatureCall(getVariable(variables[0]), OclKeyWords.NOT);
         }
         
         for (int i = 1; i < states.length; i++) {
-            ConstraintSyntaxTree variable = new Variable(variables[i]);
+            ConstraintSyntaxTree variable = getVariable(variables[i]);
             if (states[i]) {
                 variable = new OCLFeatureCall(variable, OclKeyWords.NOT);