diff --git a/src/test/java/de/hhu/stups/codegenerator/rust/TestOthers.java b/src/test/java/de/hhu/stups/codegenerator/rust/TestOthers.java
new file mode 100644
index 0000000000000000000000000000000000000000..69a95e46b853e39e863b856d2c6e5cf1bbb2930d
--- /dev/null
+++ b/src/test/java/de/hhu/stups/codegenerator/rust/TestOthers.java
@@ -0,0 +1,10 @@
+package de.hhu.stups.codegenerator.rust;
+
+import org.junit.Test;
+
+public class TestOthers extends TestRS{
+    @Test
+    public void test_SetRelationConstructs() throws Exception {
+        testRSMC("SetRelationConstructs", true);
+    }
+}
diff --git a/src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java b/src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java
index 01d9d31a7f6637b9e2a9ce54b9f17574b763ab30..ad5de11f04921438e9af5765185f12d7cd429892 100644
--- a/src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java
+++ b/src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java
@@ -4,6 +4,7 @@ import de.hhu.stups.codegenerator.CodeGenerator;
 import de.hhu.stups.codegenerator.GeneratorMode;
 
 import java.io.*;
+import java.nio.file.Files;
 import java.nio.file.Path;
 import java.nio.file.Paths;
 import java.util.Arrays;
@@ -56,15 +57,25 @@ public class TestRS {
         Path mchPath = Paths.get(CodeGenerator.class.getClassLoader()
                 .getResource("de/hhu/stups/codegenerator/" + machine + ".mch").toURI());
         CodeGenerator codeGenerator = new CodeGenerator();
-        List<Path> rsFilePaths = codeGenerator.generate(mchPath, GeneratorMode.RS,
-                false, String.valueOf(Integer.MIN_VALUE),
-                String.valueOf(Integer.MAX_VALUE), "10",
-                modelChecking, false,true,
-                addition, false, false, null);
+        List<Path> rsFilePaths = codeGenerator.generate(mchPath,
+                                                        GeneratorMode.RS,
+                                             false,
+                                                        String.valueOf(Integer.MIN_VALUE),
+                                                        String.valueOf(Integer.MAX_VALUE),
+                                            "10",
+                                                        modelChecking,
+                                        false,
+                                                  true,
+                                                        addition,
+                                          false,
+                                            false,
+                                            null,
+                                                null);
 
         Path typesPath = Paths.get(this.getClass().getClassLoader().getResource("./").toURI()).getParent().getParent().getParent().getParent().resolve(Paths.get("btypes_primitives/src/main/rust/bmachine/src"));
+        Files.createDirectories(typesPath);
         File[] oldFiles = typesPath.toFile().listFiles();
-        if (oldFiles != null && oldFiles.length > 0) Arrays.stream(oldFiles).forEach(file -> file.delete());
+        if (oldFiles != null && oldFiles.length > 0) Arrays.stream(oldFiles).forEach(this::cleanUp);
         rsFilePaths = rsFilePaths.stream().map(file -> {
             Path dest = typesPath.resolve(Paths.get(file.toFile().getName()));
             file.toFile().renameTo(dest.toFile());
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetRelationConstructs_MC.out b/src/test/resources/de/hhu/stups/codegenerator/SetRelationConstructs_MC.out
new file mode 100644
index 0000000000000000000000000000000000000000..df50ea0f9b583322b3e53da773527ca64d2ef995
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetRelationConstructs_MC.out
@@ -0,0 +1,3 @@
+MODEL CHECKING SUCCESSFUL
+Number of States: 1
+Number of Transitions: 1
\ No newline at end of file