Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java	(revision 202)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java	(revision 203)
@@ -59,8 +59,7 @@
             }
             
-            ms += System.currentTimeMillis() - timeLast;
-            timeLast = System.currentTimeMillis();
-            while (ms > 5000) {
-                ms -= 5000;
+            ms = System.currentTimeMillis() - timeLast;
+            if (ms > 5000) {
+                timeLast = System.currentTimeMillis();
                 LOGGER.info("Progress: " + i + "/" + constraints.size()
                         + " (" + (i - lastNum) + " in last 5 seconds)");
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 202)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 203)
@@ -132,12 +132,4 @@
             
             // Get an array of all variables in the constraint
-//            DeclrationInConstraintFinder finder = new DeclrationInConstraintFinder(originalConstraint);
-//            Set<AbstractVariable> declarations = finder.getDeclarations();
-//            AbstractVariable[] declarationArray = declarations.toArray(new AbstractVariable[] {});
-//            Arrays.sort(declarationArray, new Comparator<AbstractVariable>() {
-//                public int compare(AbstractVariable o1, AbstractVariable o2) {
-//                    return o1.getName().compareTo(o2.getName());
-//                }
-//            });
             DeclarationInConstraintFinderWithDepth finder =
                     new DeclarationInConstraintFinderWithDepth(originalConstraint);
@@ -147,5 +139,5 @@
             
             for (AbstractVariable var : declarationArray) {
-                System.out.println(var.getName());
+                LOGGER.debug(var.getName());
             }