Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 207)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 208)
@@ -31,4 +31,5 @@
 import de.uni_hildesheim.sse.utils.logger.EASyLoggerFactory;
 import de.uni_hildesheim.sse.utils.logger.EASyLoggerFactory.EASyLogger;
+import de.uni_hildesheim.sse.utils.logger.LoggingLevel;
 
 /**
@@ -125,14 +126,8 @@
                 AbstractVariable[] declarationArray = finder.getDeclarationsInOrder()
                     .toArray(new AbstractVariable[] {});        
-                StringWriter sWriter = new StringWriter();
-                WriterOutputStream outStream = new WriterOutputStream(sWriter);
-                originalConstraint.accept(new DebugConstraintTreeVisitor(new PrintStream(outStream)));
-                String parsedConstraint = sWriter.toString();
-                if (null != parsedConstraint && !parsedConstraint.isEmpty()) {
-                    LOGGER.info(parsedConstraint);
-                }
-                
-                for (AbstractVariable var : declarationArray) {
-                    LOGGER.debug(var.getName());
+                if (EASyLoggerFactory.INSTANCE.getLoggingLevel().ordinal() <= LoggingLevel.INFO.ordinal()
+                    && declarationArray.length >= MIN_SIMPLYIFY_LENGTH) {
+                    
+                    logConstraint(originalConstraint, declarationArray);
                 }
                 
@@ -162,4 +157,28 @@
                 LOGGER.info("Nothing to do, constraint was already part of another translation step.");
             }
+        }
+    }
+
+    /**
+     * Prints/logs a constraints.
+     * @param originalConstraint The constraint to log.
+     * @param declarationArray The variables which are part of the constraint.
+     */
+    private void logConstraint(ConstraintSyntaxTree originalConstraint, AbstractVariable[] declarationArray) {
+        StringWriter sWriter = new StringWriter();
+        WriterOutputStream outStream = new WriterOutputStream(sWriter);
+        originalConstraint.accept(new DebugConstraintTreeVisitor(new PrintStream(outStream)));
+        String parsedConstraint = sWriter.toString();
+        StringBuffer logMessage = new StringBuffer("Constraint [");
+        
+        logMessage.append(declarationArray[0].getName());
+        for (int i = 1; i < declarationArray.length; i++) {
+            logMessage.append(", ");
+            logMessage.append(declarationArray[i].getName());
+        }
+        logMessage.append("]:\n");
+        logMessage.append(parsedConstraint);
+        if (null != parsedConstraint && !parsedConstraint.isEmpty()) {
+            LOGGER.info(logMessage.toString());
         }
     }
Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTExpanderTest.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTExpanderTest.java	(revision 207)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTExpanderTest.java	(revision 208)
@@ -1,6 +1,6 @@
 package de.uni_hildesheim.sse.trans.convert;
 
-import junit.framework.Assert;
 
+import org.junit.Assert;
 import org.junit.Test;
 
Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTNegaterTest.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTNegaterTest.java	(revision 207)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTNegaterTest.java	(revision 208)
@@ -1,6 +1,6 @@
 package de.uni_hildesheim.sse.trans.convert;
 
-import junit.framework.Assert;
 
+import org.junit.Assert;
 import org.junit.Test;