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