diff --git a/testpkgs/fun/fun1.fix b/testpkgs/fun/fun1.fix
new file mode 100644
index 0000000000000000000000000000000000000000..c5a9e370d1e57b4eb46ae9c23bafbc558cc1d343
--- /dev/null
+++ b/testpkgs/fun/fun1.fix
@@ -0,0 +1,9 @@
+Call(
+  Function(["x"],
+    Call(
+      Function(["x"], Var("x")),
+      [ ("x", Var("x")) ]
+    )
+  ),
+  [ ("x", True) ]
+)
\ No newline at end of file
diff --git a/testpkgs/fun/fun2.fix b/testpkgs/fun/fun2.fix
new file mode 100644
index 0000000000000000000000000000000000000000..5741fa6f3b6d38589c68c04b1e4055cc0c67cf1c
--- /dev/null
+++ b/testpkgs/fun/fun2.fix
@@ -0,0 +1,9 @@
+Call(
+  Function(["x"],
+    Call(
+      Function(["y", "z"], Var("y")),
+      [ ("y", Var("x")) ]
+    )
+  ),
+  [ ("x", True) ]
+)
\ No newline at end of file
diff --git a/testpkgs/fun/fun3.fix b/testpkgs/fun/fun3.fix
new file mode 100644
index 0000000000000000000000000000000000000000..31399c0cb79e02ab8f0dd282010232124158e3d8
--- /dev/null
+++ b/testpkgs/fun/fun3.fix
@@ -0,0 +1,9 @@
+Call(
+  Function(["x"],
+    Call(
+      Function(["x"], Var("x")),
+      [ ("x", False) ]
+    )
+  ),
+  [ ("x", True) ]
+)
\ No newline at end of file