diff --git a/resources/insertGenericsJav/TestContraVariant.jav b/resources/insertGenericsJav/TestContraVariant.jav
index dfea392d..2b0e245f 100644
--- a/resources/insertGenericsJav/TestContraVariant.jav
+++ b/resources/insertGenericsJav/TestContraVariant.jav
@@ -1,15 +1,17 @@
 public class TestContraVariant {
     main(x, y) {
-    	var y2 = m(x, y).snd();
-		var z = null;
-		y2 = z;
+    	var y2 = m(x, y);
+    	var y3 = y2.snd();
+		var z;
+		y3 = z;
 		return new Pair(x,z);
     }
 
     m(x, y) {
-    	var x2 = main(x, y).fst();
-	    var z = null;
-		x2 = z;
+    	var x2 = main(x, y);
+    	var x3 = x2.fst();
+	    var z;
+		x3 = z;
         return new Pair(z, y);
     }
 }
\ No newline at end of file