diff --git a/zokrates_core_test/tests/tests/complex_call.json b/zokrates_core_test/tests/tests/complex_call.json
new file mode 100644
index 00000000..5b300357
--- /dev/null
+++ b/zokrates_core_test/tests/tests/complex_call.json
@@ -0,0 +1,15 @@
+{
+	"entry_point": "./tests/tests/complex_call.zok",
+	"tests": [
+		{
+			"input": {
+				"values": ["1", "2", "0", "1", "2", "3", "4"]
+			},
+			"output": {
+				"Ok": {
+					"values": ["1", "1", "3", "4"]
+				}
+			}
+		}
+	]
+}
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/complex_call.zok b/zokrates_core_test/tests/tests/complex_call.zok
new file mode 100644
index 00000000..d737625f
--- /dev/null
+++ b/zokrates_core_test/tests/tests/complex_call.zok
@@ -0,0 +1,11 @@
+struct Foo {
+	bool[2] a
+	field b
+}
+
+def f(bool a, field b, Foo c, field[2] d) -> (Foo, field):
+	return Foo { a: [a, a], b: d[0] }, if c.a[0] then b + c.b else d[1] fi
+
+def main(bool a, field b, Foo c, field[2] d) -> (Foo, field):
+	e, f = f(a, b, c, d)
+	return e, f
\ No newline at end of file