Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 198)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 199)
@@ -24,4 +24,5 @@
 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;
@@ -93,5 +94,6 @@
         
         if (getSyntaxTreeLength(originalConstraint) >= MIN_SIMPLYIFY_LENGTH) {
-            LOGGER.info("Constraint is longer than " + MIN_SIMPLYIFY_LENGTH + ", trying to simplify");
+            LOGGER.info("Constraint (" + StringProvider.toIvmlString(originalConstraint) + ") is longer than "
+                + MIN_SIMPLYIFY_LENGTH + ", trying to simplify");
             
             // pull in NOT's as far as possible