diff --git a/src/TI.hs b/src/TI.hs
index e1f39aa..5998f38 100644
--- a/src/TI.hs
+++ b/src/TI.hs
@@ -320,6 +320,12 @@ negExample2 = Program
         Prim IntNegP :$ Prim (IntP 3)
     ]
 
+negExample3 :: Program
+negExample3 = Program
+    [ ScDef "main" [] $
+        "twice" :$ Prim IntNegP :$ Prim (IntP 3)
+    ]
+
 ----------------------------------------------------------------------------------
 
 instance Pretty TiState where