diff --git a/testcases/automatic/usage-check-8.occ.test b/testcases/automatic/usage-check-8.occ.test
index 999bdaa..2416098 100644
--- a/testcases/automatic/usage-check-8.occ.test
+++ b/testcases/automatic/usage-check-8.occ.test
@@ -130,5 +130,11 @@ PROC m()
     INT x:
     c[9] ? x
 
+%PASS Safe use with unknown bound
+  INT x:
+  PAR
+    PAR i = 0 FOR x - 1
+      both.2(c[i]?, c[i + 1]!
+    read(c[x - 1]?)
 
 %