Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java	(revision 421)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java	(revision 422)
@@ -4,5 +4,4 @@
 import java.util.List;
 
-import de.uni_hildesheim.sse.model.cst.ConstantValue;
 import de.uni_hildesheim.sse.model.cst.ConstraintSyntaxTree;
 import de.uni_hildesheim.sse.model.cst.OCLFeatureCall;
@@ -55,5 +54,8 @@
         
         for (String conditionString : conditions) {
-            conditionTrees.add(getPureBooleanConstraintSyntaxTree(reader, conditionString, variable.getName()));
+            ConstraintSyntaxTree condition =
+                    getPureBooleanConstraintSyntaxTree(reader, conditionString, variable.getName());
+            
+            addTreeToList(condition, conditionTrees);
         }
         
@@ -105,4 +107,24 @@
     }
     
+    /**
+     * Adds the given {@link ConstraintSyntaxTree} to the list. Tries to split the
+     * trees into parts, if they are connected via AND.
+     * @param tree The tree to add to the list.
+     * @param list The list to add the tree (or the parts) to.
+     */
+    private void addTreeToList(ConstraintSyntaxTree tree, List<ConstraintSyntaxTree> list) {
+        if (tree instanceof OCLFeatureCall) {
+            OCLFeatureCall call = (OCLFeatureCall) tree;
+            if (call.getOperation().equals(OclKeyWords.AND)) {
+                addTreeToList(call.getOperand(), list);
+                addTreeToList(call.getParameter(0), list);
+            } else {
+                list.add(tree);
+            }
+        } else {
+            list.add(tree);
+        }
+    }
+    
     @Override
     List<ConstraintSyntaxTree> toNotBooleanConstraintSyntaxTree(RSFReader reader) {