diff --git a/testcases/automatic/usage-check-6.occ.test b/testcases/automatic/usage-check-6.occ.test
index 85b1ddb..d5b4db8 100644
--- a/testcases/automatic/usage-check-6.occ.test
+++ b/testcases/automatic/usage-check-6.occ.test
@@ -38,4 +38,10 @@ PROC m()
     PAR
       a[3] := 0
       a[k] := 0
+%PASS Distinct due to IF
+  IF
+    i = 3
+      PAR
+        a[i] := 0
+        a[4] := 0
 %