Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java	(revision 371)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java	(revision 372)
@@ -7,5 +7,4 @@
 import de.uni_hildesheim.sse.model.cst.ContainerInitializer;
 import de.uni_hildesheim.sse.model.cst.ContainerOperationCall;
-import de.uni_hildesheim.sse.model.cst.DslFragment;
 import de.uni_hildesheim.sse.model.cst.IConstraintTreeVisitor;
 import de.uni_hildesheim.sse.model.cst.IfThen;
@@ -107,10 +106,4 @@
 
     @Override
-    public void visitDslFragment(DslFragment fragment) {
-        // Not supported by this Translator
-        isDisjunctionTerm = false;
-    }
-
-    @Override
     public void visitUnresolvedExpression(UnresolvedExpression expression) {
         // Not supported by this Translator
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java	(revision 371)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java	(revision 372)
@@ -11,5 +11,4 @@
 import de.uni_hildesheim.sse.model.cst.ContainerInitializer;
 import de.uni_hildesheim.sse.model.cst.ContainerOperationCall;
-import de.uni_hildesheim.sse.model.cst.DslFragment;
 import de.uni_hildesheim.sse.model.cst.IConstraintTreeVisitor;
 import de.uni_hildesheim.sse.model.cst.IfThen;
@@ -116,9 +115,4 @@
 
     @Override
-    public void visitDslFragment(DslFragment fragment) {
-        throw new RuntimeException("Not Supported Operation");
-    }
-
-    @Override
     public void visitUnresolvedExpression(UnresolvedExpression expression) {
         throw new RuntimeException("Not Supported Operation");