Index: /ModelTranslator/resources/testdata/input/test4KStack.rsf
===================================================================
--- /ModelTranslator/resources/testdata/input/test4KStack.rsf	(revision 431)
+++ /ModelTranslator/resources/testdata/input/test4KStack.rsf	(revision 431)
@@ -0,0 +1,4 @@
+Item	4KSTACKS	boolean
+Depends	4KSTACKS	"X86_32"
+Prompt	4KSTACKS	"X86_32"
+HasPrompts	4KSTACKS	1
Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 430)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 431)
@@ -508,7 +508,27 @@
         
         Assert.assertTrue("Error: Expected Constraint not included.",
-                DimacsTestUtils.containsConstraint(result, var2, -var4, -var1, var3));
-        Assert.assertTrue("Error: Expected Constraint not included.",
-                DimacsTestUtils.containsConstraint(result, var2, -var4, var1, -var3));
+            DimacsTestUtils.containsConstraint(result, var2, -var4, -var1, var3));
+        Assert.assertTrue("Error: Expected Constraint not included.",
+            DimacsTestUtils.containsConstraint(result, var2, -var4, var1, -var3));
+    }
+    
+    /**
+     * Tests whether the variable 4KSTACKS is translated correctly.
+     */
+    @Test
+    public void test4KStack() {
+        File input = new File(AllTests.INPUT_FOLDER, "test4KStack.rsf");
+        OptimizationParameter noOptimization = new OptimizationParameter();
+        
+        // Test precondition
+        Assert.assertFalse(noOptimization.hasAtLeastOneOption());
+        
+        // Translation
+        String result = DimacsTestUtils.loadModel(input, noOptimization, true);
+        int var4K = DimacsTestUtils.getNumberOfVariable(result, "4KSTACKS");
+        int varX86 = DimacsTestUtils.getNumberOfVariable(result, "X86_32");
+        
+        Assert.assertTrue("Error: Expected Constraint not included.",
+            DimacsTestUtils.containsConstraint(result, varX86, -var4K));
     }
 }