Added the use of edited variables after ifs

Author: Pichers

latte/src/test/examples/MyNodeAllKindsIfs.java

@@ -21,7 +21,7 @@ public MyNode (@Free Object value, @Free Node next) {
         this.next = next;
     }
 
-    public void test(@Free Object v1, @Free Object v2, boolean c1, boolean c2){
+    public Object test(@Free Object v1, @Free Object v2, boolean c1, boolean c2){
         if (c1) {
             this.value = v1;
         } else if (c2) {
@@ -30,13 +30,14 @@ public void test(@Free Object v1, @Free Object v2, boolean c1, boolean c2){
             this.value = v1;
         }
 
-        if (c2) {
+        if (c2 || this.value == null) {
             this.value = v1;
         } else {
             this.value = v2;
         }
-        if (c1 && c2) {
+        if (c1 && this.value == v1) {
             this.value = v2;
         }
+        return this.value;
     }
 }

latte/src/test/examples/MyNodeIfNoElse.java

@@ -21,9 +21,10 @@ public MyNode (@Free Object value, @Free Node next) {
         this.next = next;
     }
 
-    public void test(@Free Object v1, boolean c1){
+    public Object test(@Free Object v1, boolean c1){
         if (c1) {
             this.value = v1;
         }
+        return this.value;
     }
 }