Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 205)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 206)
@@ -127,6 +127,8 @@
                 StringWriter sWriter = new StringWriter();
                 WriterOutputStream outStream = new WriterOutputStream(sWriter);
-                new DebugConstraintTreeVisitor(new PrintStream(outStream));
-                LOGGER.info(sWriter.toString());
+                originalConstraint.accept(new DebugConstraintTreeVisitor(new PrintStream(outStream)));
+                String parsedConstraint = sWriter.toString();
+                if (null != parsedConstraint && !parsedConstraint.isEmpty())
+                LOGGER.info(parsedConstraint);
                 
                 for (AbstractVariable var : declarationArray) {