Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 209)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java	(revision 210)
@@ -118,5 +118,5 @@
         // Stop recursion and start translation!
         if (!handled) {
-            if (alreadyTranslated(originalConstraint)) {
+            if (!alreadyTranslated(originalConstraint)) {
                 translatedConstraints.add(originalConstraint);