diff --git a/testcases/nesting.occ b/testcases/nesting.occ
index 7920f7c..cf43358 100644
--- a/testcases/nesting.occ
+++ b/testcases/nesting.occ
@@ -1,15 +1,18 @@
-PROC outer (CHAN OF INT channel)
-  VAL INT constant IS 42:
-  INT count:
-  PROC inner1 ()
-    count := count + constant
+PROC p ()
+  PROC outer (CHAN OF INT channel)
+    VAL INT constant IS 42:
+    INT count:
+    PROC inner1 ()
+      count := count + constant
+    :
+    PROC inner2 (VAL INT count)
+      SEQ i = 0 FOR constant
+        channel ! count + i
+    :
+    SEQ
+      count := 0
+      inner1 ()
+      inner2 (count)
   :
-  PROC inner2 (VAL INT count)
-    SEQ i = 0 FOR constant
-      channel ! count + i
-  :
-  SEQ
-    count := 0
-    inner1 ()
-    inner2 (count)
+  SKIP
 :