diff --git a/iacfg/src/test/resources/BasicContraExample.java b/iacfg/src/test/resources/BasicContraExample.java
new file mode 100644
index 0000000000000000000000000000000000000000..6aad5b41755eca7bff6306d6a5bd8c7df3cd0f63
--- /dev/null
+++ b/iacfg/src/test/resources/BasicContraExample.java
@@ -0,0 +1,13 @@
+public class BasicContraExample {
+
+    public static void main(String[] args) {
+        f();
+        while(true) {
+            f();
+        }
+    }
+
+    public static void f() {
+        int x = 1;
+    }
+}
\ No newline at end of file
diff --git a/iacfg/src/test/resources/TestChainCall.java b/iacfg/src/test/resources/TestChainCall.java
new file mode 100644
index 0000000000000000000000000000000000000000..7aab26b773fe8d651cbf98bf4c378d5edb07c667
--- /dev/null
+++ b/iacfg/src/test/resources/TestChainCall.java
@@ -0,0 +1,15 @@
+public class TestChainCall {
+
+    public static void main(String[] args) {
+        f();
+        g();
+    }
+
+    public static void f() {
+        g();
+    }
+
+    public static void g() {
+        int x = 1;
+    }
+}
\ No newline at end of file
diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra1.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra1.java
index 7889d62bd4710ed1a7c2c9862f3ded58acf19a0b..74a0bbf5f4b25918674bb8c00a99bad56739c995 100644
--- a/iacfg/src/test/resources/TestExamplePaperSimpleContra1.java
+++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra1.java
@@ -1,4 +1,4 @@
-public class TestExamplePaperSimple {
+public class TestExamplePaperSimpleContra1 {
 
     public static void main(String[] args) {
 
diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra2.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra2.java
index dc867ab6843d1b58220b1ed3fff3cdb16126401c..a07491ba10c49dafebce6f1e594894c81b950eef 100644
--- a/iacfg/src/test/resources/TestExamplePaperSimpleContra2.java
+++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra2.java
@@ -1,4 +1,4 @@
-public class TestExamplePaperSimple {
+public class TestExamplePaperSimpleContra2 {
 
     public static void main(String[] args) {
 
diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra3.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra3.java
index afbc7b05752dcec879c64aff775b3dd5bec7be0f..00cd8b082c4d474701eaf93ddc1ad18124329a47 100644
--- a/iacfg/src/test/resources/TestExamplePaperSimpleContra3.java
+++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra3.java
@@ -1,4 +1,4 @@
-public class TestExamplePaperSimple {
+public class TestExamplePaperSimpleContra3 {
 
     public static void main(String[] args) {
 
diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra4.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra4.java
index 44c0e5be17cb9f7f5cd69f725a4237da58e39893..ba335224e193e11ab96bc930661c01df5888c486 100644
--- a/iacfg/src/test/resources/TestExamplePaperSimpleContra4.java
+++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra4.java
@@ -1,4 +1,4 @@
-public class TestExamplePaperSimple {
+public class TestExamplePaperSimpleContra4 {
 
     public static void main(String[] args) {
 
diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra5.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra5.java
index 5284a69964b3a48e8827bb202e202d3354c07da1..e78cb96650d88b7807946d636dee44b482c046f8 100644
--- a/iacfg/src/test/resources/TestExamplePaperSimpleContra5.java
+++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra5.java
@@ -1,4 +1,4 @@
-public class TestExamplePaperSimple {
+public class TestExamplePaperSimpleContra5 {
 
     public static void main(String[] args) {
 
diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra6.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra6.java
index a4516657be1896e07bb520f96e3e42004b8c88d4..5e59ed4f932d2fb7e8cdb146aa037206845aa9ce 100644
--- a/iacfg/src/test/resources/TestExamplePaperSimpleContra6.java
+++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra6.java
@@ -1,4 +1,4 @@
-public class TestExamplePaperSimple {
+public class TestExamplePaperSimpleContra6 {
 
     public static void main(String[] args) {
 
diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra7.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra7.java
index a73d3ad57ba946abbb344460d792836e470e0eb6..47a5d6e64d7386ef5f104e8a082c91c617e4bc25 100644
--- a/iacfg/src/test/resources/TestExamplePaperSimpleContra7.java
+++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra7.java
@@ -1,4 +1,4 @@
-public class TestExamplePaperSimple {
+public class TestExamplePaperSimpleContra7 {
 
     public static void main(String[] args) {
 
diff --git a/iacfg/src/test/resources/TestInlineCall.java b/iacfg/src/test/resources/TestInlineCall.java
new file mode 100644
index 0000000000000000000000000000000000000000..bc71ffb4671076f2ba5f27a7ded34d5459ac2ce6
--- /dev/null
+++ b/iacfg/src/test/resources/TestInlineCall.java
@@ -0,0 +1,11 @@
+public class TestInlineCall {
+
+    public static void main(String[] args) {
+        f();
+        f();
+    }
+
+    public static void f() {
+        int x = 1;
+    }
+}
\ No newline at end of file
diff --git a/iacfg/src/test/resources/TestThreeCall.java b/iacfg/src/test/resources/TestThreeCall.java
new file mode 100644
index 0000000000000000000000000000000000000000..26070ea569497e35d023437680c381bc1d77800c
--- /dev/null
+++ b/iacfg/src/test/resources/TestThreeCall.java
@@ -0,0 +1,14 @@
+public class TestThreeCall {
+
+    public static void main(String[] args) {
+        f();
+        while(true) {
+            f();
+        }
+        f();
+    }
+
+    public static void f() {
+        int x = 1;
+    }
+}
\ No newline at end of file