Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 69)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 70)
@@ -64,7 +64,7 @@
         project = (Project) constraint.getTopLevelParent();
         
-        List<ConstraintSyntaxTree> parts = createCNFParts(constraint);
-        for (ConstraintSyntaxTree part : parts) {
-            addConstraint(part);
+        List<ConstraintSyntaxTree> parts = createCNFParts(constraint.getConsSyntax());
+        for (int i = 0, n = parts.size(); i < n; i++) {
+            addConstraint(parts.get(i));
         }
     }
@@ -72,10 +72,9 @@
     /**
      * Creates a list of parts of CNF for the given {@link Constraint}.
-     * @param constraint A boolean expression
+     * @param originalConstraint A boolean expression
      * @return List of parts of CNF (boolean expressions with OR and NOT).
      */
-    private List<ConstraintSyntaxTree> createCNFParts(Constraint constraint) {
+    private List<ConstraintSyntaxTree> createCNFParts(ConstraintSyntaxTree originalConstraint) {
         // Get an array of all variables in the constraint
-        ConstraintSyntaxTree originalConstraint = constraint.getConsSyntax();
         DeclrationInConstraintFinder finder = new DeclrationInConstraintFinder(originalConstraint);
         Set<AbstractVariable> declarations = finder.getDeclarations();