Index: /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java
===================================================================
--- /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 381)
+++ /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 382)
@@ -31,8 +31,13 @@
         // Translation
         String result = DimacsTestUtils.loadModel(input, noOptimization, true);
-        System.out.println(result);
+        int extraFirmware = DimacsTestUtils.getNumberOfVariable(result, "EXTRA_FIRMWARE");
+        int extraFirmwareDir = DimacsTestUtils.getNumberOfVariable(result, "EXTRA_FIRMWARE_DIR");
         
-        // Test correct translation
-        // TODO SE: test correct translation of strings
+        /*
+         * Test whether following constraint is included:
+         * NOT(EXTRA_FIRMWARE_DIR) OR EXTRA_FIRMWARE
+         */
+        Assert.assertTrue("Error: Expected Constraint not included.",
+                DimacsTestUtils.containsConstraint(result, extraFirmware, -1 * extraFirmwareDir));
     }