Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java	(revision 391)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java	(revision 392)
@@ -102,5 +102,5 @@
             }
             if (cmd.hasOption(CMD_COMMENT)) {
-                arguments.setComment(cmd.getOptionValue(CMD_COMMENT) + IvmlKeyWords.LINEFEED);
+                arguments.setComment(cmd.getOptionValue(CMD_COMMENT));
             }
             if (cmd.hasOption(CMD_VERSION)) {
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java	(revision 391)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java	(revision 392)
@@ -74,5 +74,5 @@
         if (null != comment) {
             if (!comment.startsWith("//") || comment.startsWith("    //")) {
-                comment = "    // " + comment;
+                comment = "    // " + comment + IvmlKeyWords.LINEFEED;
             }
             Date currentTime = new Date();
Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 391)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 392)
@@ -169,6 +169,7 @@
      * must be translated to
      * <pre><code>
-     * A depends B OR C
+     * A depends (B OR C)
      * </code></pre>
+     * @see <a href="https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/ticket/4">Requirement 4</a>
      */
     @Ignore()
@@ -190,6 +191,6 @@
          * Test whether the following constraints are included:
          * - NOT(X86_32) OR NOT(X86_64)
-         * - X86_EXTENDED_PLATFORM implies X86_32 OR X86_64
-         *  -> NOT(X86_EXTENDED_PLATFORM) OR X86_32 OR X86_64
+         * - NOT(X86_32 OR X86_64) implies NOT(X86_EXTENDED_PLATFORM)
+         *  -> X86_32 OR X86_64 OR NOT(X86_EXTENDED_PLATFORM)
          */
         Assert.assertTrue("Error, missing: NOT(X86_32) OR NOT(X86_64)",