diff --git a/testcases/automatic/usage-check-2.occ.test b/testcases/automatic/usage-check-2.occ.test
new file mode 100644
index 0000000..889aa4e
--- /dev/null
+++ b/testcases/automatic/usage-check-2.occ.test
@@ -0,0 +1,47 @@
+-- This file tests array uses with replication
+-- Four unknown variables are available; x, y, z.
+-- Two arrays are automatically declared; a (size 10) and b (size 12)
+-- The automatic replication is i = [0..8]
+
+PROC p(INT x, y, z)
+  [10]INT a:
+  [20]INT b:
+  PAR i = 0 FOR 9
+%%
+:
+
+PROC m()
+  SKIP
+:
+
+%FAIL Constant in replication
+    a[0] := 3
+
+%PASS Replicated index
+    a[i] := 2
+    
+%FAIL Replicated index, twice
+    a[i] := 2
+    a[i] := 2
+
+%PASS Replicated index plus one
+    a[i + 1] := 2
+
+%FAIL Replicated index, modulo low number
+    a[i REM 8] := 3
+
+%PASS Replicated index, modulo ok number
+    a[i REM 9] := 3
+
+%PASS Replicated index plus a few, modulo ok number
+    a[(i + 4) REM 9] := 3
+
+%PASS Safe nested replication
+    PAR j = 0 FOR 2
+      b[(j * 10) + i] := 3
+      
+%PASS Unsafe nested replication
+    PAR j = 0 FOR 2
+      b[(j * 8) + i] := 3
+
+%
diff --git a/transformations/ArrayUsageCheckTest.hs b/transformations/ArrayUsageCheckTest.hs
index 3ec0334..224928f 100644
--- a/transformations/ArrayUsageCheckTest.hs
+++ b/transformations/ArrayUsageCheckTest.hs
@@ -714,14 +714,16 @@ qcOmegaPrune = [scaleQC (100,1000,10000,50000) prop]
     
 qcTests :: IO (Test, [QuickCheckTest])
 qcTests
-  = do usageCheckTest <- automaticTest "testcases/automatic/usage-check-1.occ.test"
+  = do usageCheckTest1 <- automaticTest "testcases/automatic/usage-check-1.occ.test"
+       usageCheckTest2 <- automaticTest "testcases/automatic/usage-check-2.occ.test"
        return
         (TestList
         [
           testArrayCheck
          ,testIndexes
          ,testMakeEquations
-         ,usageCheckTest
+         ,usageCheckTest1
+         ,usageCheckTest2
         ]
         ,qcOmegaEquality ++ qcOmegaPrune)