Added test case for invalid array constant initialisation

test/arrays/check_error/invalid_init.cvc

@@ -0,0 +1,4 @@
+void foo() {
+    int[3] a = [[1, 2], 3];
+    int[3] b = [[1, 2], [[3]]];
+}