diff --git a/src/test/resources/insertGenericsJav/TestContraVariant.jav b/src/test/resources/insertGenericsJav/TestContraVariant.jav
new file mode 100644
index 00000000..9349e620
--- /dev/null
+++ b/src/test/resources/insertGenericsJav/TestContraVariant.jav
@@ -0,0 +1,12 @@
+public class TestContraVariant {
+
+    m(x) {
+        var y;
+        x = y;
+        return y;
+    }
+    
+    main(x) {
+    	return m(x);
+    }
+}
\ No newline at end of file
diff --git a/src/test/resources/insertGenericsJav/TestMutualRecursionWithField2.jav b/src/test/resources/insertGenericsJav/TestMutualRecursionWithField2.jav
new file mode 100644
index 00000000..727e6031
--- /dev/null
+++ b/src/test/resources/insertGenericsJav/TestMutualRecursionWithField2.jav
@@ -0,0 +1,22 @@
+public class TestMutualRecursionWithField2 {
+    a;
+
+    id(b) {
+        var c = b;
+        return main(b,c);
+    }
+
+    setA(x) {
+        a = x;
+        return a;
+    }
+
+    m(x,y) {
+        x = id(y);
+        return x;
+    }
+    
+    main(x,y) {
+    	return m(setA(x),id(y));
+    }
+}
\ No newline at end of file
diff --git a/src/test/resources/insertGenericsJav/TestMutualRecursionWithField3.jav b/src/test/resources/insertGenericsJav/TestMutualRecursionWithField3.jav
new file mode 100644
index 00000000..24e09890
--- /dev/null
+++ b/src/test/resources/insertGenericsJav/TestMutualRecursionWithField3.jav
@@ -0,0 +1,23 @@
+public class TestMutualRecursionWithField3 {
+    a;
+
+    id(b) {
+        var c = b;
+        return main(b,c);
+    }
+
+    setA(x) {
+        a = x;
+        return a;
+    }
+
+    m(x,y) {
+        x = id(y);
+        return x;
+    }
+    
+    main(x,y) {
+    	var z = m(setA(x),id(y));
+    	return z;
+    }
+}
\ No newline at end of file