diff --git a/Debug/test-input/example4.dl b/Debug/test-input/example4.dl
new file mode 100644
index 0000000..89d74a6
--- /dev/null
+++ b/Debug/test-input/example4.dl
@@ -0,0 +1,26 @@
+arg(a1).
+arg(a2).
+arg(a3).
+arg(a4).
+arg(a5).
+arg(a6).
+arg(a7).
+arg(a8).
+arg(a9).
+att(a1,a2).
+att(a2,a1).
+att(a1,a5).
+att(a2,a4).
+att(a4,a5).
+att(a5,a7).
+att(a7,a6).
+att(a6,a5).
+att(a4,a6).
+att(a6,a4).
+att(a4,a8).
+att(a8,a9).
+att(a9,a8).
+att(a6,a9).
+att(a9,a7).
+
+