diff --git a/testsuite/paraphrase/Nat.gf b/testsuite/paraphrase/Nat.gf
index 7caa0fc93..b55333472 100644
--- a/testsuite/paraphrase/Nat.gf
+++ b/testsuite/paraphrase/Nat.gf
@@ -26,4 +26,9 @@ def four = twice (twice one) ;
 fun exp : Nat -> Nat ;
 def exp Zero = one ;
 def exp (Succ x) = twice (exp x) ;
+
+fun plus' : Nat -> Nat -> Nat ;
+def plus' Zero     = \y -> y ;
+def plus' (Succ x) = \y -> Succ (plus x y) ;
+
 }
diff --git a/testsuite/paraphrase/test.gfs.gold b/testsuite/paraphrase/test.gfs.gold
new file mode 100644
index 000000000..7817d2e67
--- /dev/null
+++ b/testsuite/paraphrase/test.gfs.gold
@@ -0,0 +1,11 @@
+Succ (Succ Zero)

+

+Succ (Succ (Succ Zero))

+

+Succ (Succ Zero)

+

+unknown variable two

+Succ Zero

+

+Succ (Succ (Succ Zero))

+