Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 203)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 204)
@@ -1,10 +1,14 @@
 package de.uni_hildesheim.sse.trans.convert;
 
+import java.io.IOException;
+import java.io.PipedInputStream;
+import java.io.PipedOutputStream;
+import java.io.PrintStream;
+import java.io.StringWriter;
 import java.math.BigInteger;
-import java.util.Arrays;
-import java.util.Comparator;
 import java.util.HashMap;
 import java.util.Map;
-import java.util.Set;
+
+import org.apache.commons.io.output.WriterOutputStream;
 
 import de.uni_hildesheim.sse.model.confModel.AssignmentState;
@@ -25,5 +29,4 @@
 import de.uni_hildesheim.sse.model.varModel.filter.DeclrationInConstraintFinder;
 import de.uni_hildesheim.sse.model.varModel.values.BooleanValue;
-import de.uni_hildesheim.sse.persistency.StringProvider;
 import de.uni_hildesheim.sse.trans.Main;
 import de.uni_hildesheim.sse.utils.logger.EASyLoggerFactory;
@@ -136,5 +139,8 @@
             AbstractVariable[] declarationArray = finder.getDeclarationsInOrder().toArray(new AbstractVariable[] {});
             
-            originalConstraint.accept(new DebugConstraintTreeVisitor());
+            StringWriter sWriter = new StringWriter();
+            WriterOutputStream outStream = new WriterOutputStream(sWriter);
+            new DebugConstraintTreeVisitor(new PrintStream(outStream));
+            LOGGER.info(sWriter.toString());
             
             for (AbstractVariable var : declarationArray) {