Added a test-source-file for testing the array usage checker, and added it to the appropriate test list

testcases/automatic/usage-check-1.occ.test

@@ -0,0 +1,29 @@
+-- This file tests simple array uses without replication
+-- Four unknown variables are available; x, y, z.
+-- Two arrays are automatically declared; a (size 10) and b (size 12)
+
+PROC p(INT x, y, z)
+  [10]INT a:
+  [12]INT b:
+  PAR
+%%
+:
+
+PROC m()
+  SKIP
+:
+
+%PASS Distinct constants
+    a[0] := 3
+    a[1] := 4
+    a[4] := 5
+
+%FAIL Identical constants
+    a[0] := 3
+    a[0] := 4
+
+%PASS Same constant, different array
+    a[0] := 3
+    b[0] := 4
+
+%

transformations/ArrayUsageCheckTest.hs

@@ -32,6 +32,7 @@ import Test.QuickCheck hiding (check)
 import ArrayUsageCheck
 import qualified AST as A
 import PrettyShow
+import TestHarness
 import TestUtils hiding (m)
 import Utils
 
@@ -718,6 +719,7 @@ qcTests = (TestList
    testArrayCheck
   ,testIndexes
   ,testMakeEquations
+  ,automaticTest "testcases/automatic/usage-check-1.occ.test"
  ]
  ,qcOmegaEquality ++ qcOmegaPrune)