diff --git a/testcases/automatic/usage-check-6.occ.test b/testcases/automatic/usage-check-6.occ.test
index a9965e6..d35bd5a 100644
--- a/testcases/automatic/usage-check-6.occ.test
+++ b/testcases/automatic/usage-check-6.occ.test
@@ -107,6 +107,15 @@ PROC m()
         a[k] := 1
       TRUE
         SKIP
+%PASS IF, safe indirectly over replication 2B
+  PAR k = 0 FOR 10
+    IF
+      k = 3
+        a[0] := 1
+      k > 0
+        a[k] := 1
+      TRUE
+        SKIP
 %PASS IF, safe indirectly over replication 3
   PAR k = 0 FOR 9
     IF