Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTExpander.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTExpander.java	(revision 235)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTExpander.java	(revision 236)
@@ -1,4 +1,5 @@
 package de.uni_hildesheim.sse.trans.convert;
 
+import de.uni_hildesheim.sse.model.cst.AttributeVariable;
 import de.uni_hildesheim.sse.model.cst.Comment;
 import de.uni_hildesheim.sse.model.cst.CompoundAccess;
@@ -304,3 +305,8 @@
     public void visitSelf(Self self) {}
 
+    @Override
+    public void visitAnnotationVariable(AttributeVariable variable) {
+        visitVariable(variable);
+    }
+
 }
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java	(revision 235)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java	(revision 236)
@@ -1,4 +1,5 @@
 package de.uni_hildesheim.sse.trans.convert;
 
+import de.uni_hildesheim.sse.model.cst.AttributeVariable;
 import de.uni_hildesheim.sse.model.cst.Comment;
 import de.uni_hildesheim.sse.model.cst.CompoundAccess;
@@ -50,4 +51,9 @@
             result = variable;
         }
+    }
+    
+    @Override
+    public void visitAnnotationVariable(AttributeVariable variable) {
+        visitVariable(variable);
     }
 
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepth.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepth.java	(revision 235)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepth.java	(revision 236)
@@ -9,4 +9,5 @@
 import java.util.Set;
 
+import de.uni_hildesheim.sse.model.cst.AttributeVariable;
 import de.uni_hildesheim.sse.model.cst.CSTSemanticException;
 import de.uni_hildesheim.sse.model.cst.Comment;
@@ -102,4 +103,9 @@
         addVariable(variable.getVariable());
     }
+    
+    @Override
+    public void visitAnnotationVariable(AttributeVariable variable) {
+        visitVariable(variable);
+    }
 
     @Override
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java	(revision 235)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java	(revision 236)
@@ -1,4 +1,5 @@
 package de.uni_hildesheim.sse.trans.convert;
 
+import de.uni_hildesheim.sse.model.cst.AttributeVariable;
 import de.uni_hildesheim.sse.model.cst.Comment;
 import de.uni_hildesheim.sse.model.cst.CompoundAccess;
@@ -57,4 +58,9 @@
     public void visitVariable(Variable variable) {
         // Nothing to do, end here
+    }
+    
+    @Override
+    public void visitAnnotationVariable(AttributeVariable variable) {
+        visitVariable(variable);
     }
 
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java	(revision 235)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java	(revision 236)
@@ -4,4 +4,5 @@
 import java.util.Set;
 
+import de.uni_hildesheim.sse.model.cst.AttributeVariable;
 import de.uni_hildesheim.sse.model.cst.Comment;
 import de.uni_hildesheim.sse.model.cst.CompoundAccess;
@@ -64,4 +65,9 @@
             declarations.add(NEGATIVE_PREFIX + variable.getVariable().getName() + NEGATIVE_SUFFIX);
         }
+    }
+    
+    @Override
+    public void visitAnnotationVariable(AttributeVariable variable) {
+        visitVariable(variable);
     }
 
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java	(revision 235)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java	(revision 236)
@@ -98,5 +98,4 @@
             
             RSFItem rsfItem = reader.getItemNoCreate(var);
-            
             if (rsfItem != null && rsfItem.getDatatype().equals(Datatype.TRISTATE)) {
                 Variable variable = varPool.obtainVariable(reader.getVariable(var));
Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java	(revision 235)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java	(revision 236)
@@ -41,6 +41,5 @@
     CSTNegaterTest.class,
     CSTExpanderTest.class,
-    DeclarationInConstraintFinderWithDepthTest.class
-})
+    DeclarationInConstraintFinderWithDepthTest.class})
 public class AllTests {