Added new if then skip permission check test

Author: Pichers

latte/src/test/examples/MyNodeIfPermissionCheck.java

@@ -0,0 +1,20 @@
+package latte;
+
+import specification.Free;
+import specification.Unique;
+
+class MyNodeIfNoElse {
+
+    @Unique Object value;
+
+    public @Unique Object test(@Free Object v1, boolean cond) {
+        Object n;
+        n = new Object();
+
+        this.value = n;
+        if (cond) {
+            this.value = v1;
+        }
+        return this.value; // should still be @Unique
+    }
+}

latte/src/test/java/AppTest.java

@@ -42,7 +42,8 @@ private static Stream<Arguments> provideCorrectTestCases() {
             Arguments.of("src/test/examples/searching_state_space/ResultSetForwardOnly.java"),
             Arguments.of("src/test/examples/stack_overflow/MediaRecord.java"),
             Arguments.of("src/test/examples/MyNodeAllKindsIfs.java"),
-            Arguments.of("src/test/examples/MyNodeIfNoElse.java")
+            Arguments.of("src/test/examples/MyNodeIfNoElse.java"),
+            Arguments.of("src/test/examples/MyNodeIfPermissionCheck.java")
         );
     }