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