Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java	(revision 93)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java	(revision 94)
@@ -91,5 +91,4 @@
         for (int i = 0, n = constraints.size(); i < n; i++) {
             ConstraintSyntaxTree tree = constraints.get(i).getConsSyntax();
-            
             // TODO: check if there is only 1 variable and use EvaluationVistor instead?
             
@@ -97,4 +96,5 @@
                 Variable var = (Variable) tree;
                 alwaysTrueVariables.add(var.getVariable());
+                // TODO remove constraint and variable?
             } else if (tree instanceof OCLFeatureCall) {
                 OCLFeatureCall call = (OCLFeatureCall) tree;
@@ -127,4 +127,5 @@
                         break;
                     }
+                    // TODO: remove variable from constraint in else branch (since it's always false)
                 } else if (alwaysTrueVariables.contains(var)) {
                     if (!isVariableNegated(tree, var)) {
@@ -132,4 +133,5 @@
                         break;
                     }
+                    // TODO: remove variable from constraint in else branch (since it's always false)
                 }
             }
@@ -158,5 +160,4 @@
         List<Constraint>[] equivalenceClasses = createEquivalenceClasses();
         
-        // 2) Remove duplicated constraints in the equivalence classes
         int removed = 0;