diff --git a/tests.txt b/tests.txt
new file mode 100644
index 0000000..529c111
--- /dev/null
+++ b/tests.txt
@@ -0,0 +1,8 @@
+\a.a
+(\a b.a b) (\c.c) d
+(\x.x x) (\x.x x)
+(\x.x (\a b.b) (\a b.a)) (\a b.a)
+(\x.x (\a b.b) (\a b.a)) (\a b.b)
+(\f.(\x.f(x x))(\x.f(x x))) (\a b.a)
+(\f.(\x.f(x x))(\x.f(x x))) (\a b.b)
+(\f.(\x.f(x x))(\x.f(x x))) (\f a.a f a) (\a b.a) (\a b.a) (\a b.b) (\a b.a)