Merge pull request diffblue#1679 from NlightNFotis/nondet_extra_test

Add extra tests for the non-det issue with constants.

Author: tautschnig

regression/goto-instrument/no_nondet_const/main.c

@@ -0,0 +1,8 @@
+int var;
+const int arr[] = {10, 20, 30};
+
+int main(void)
+{
+  var = arr[2];
+  return 0;
+}

regression/goto-instrument/no_nondet_const/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+--nondet-static
+^EXIT=0$
+^SIGNAL=0$
+--
+arr = NONDET\(const signed int \[3ll\]\)
+--