Combined a similiar couple of tests into one with multiple descs

Author: jezhiggins

regression/goto-analyzer/variable-sensitivity-array-constant-access/test.desc

@@ -1,7 +1,7 @@
 CORE
 main.c
---show --variable-sensitivity --vsd-values intervals --vsd-arrays every-element
+--show --variable-sensitivity --vsd-arrays every-element
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::second_value \(\) -> \[2, 2\] @ \[3\]
-main::1::second_value_after_write \(\) -> \[A, A\] @ \[6\]
+main::1::second_value \(\) -> 2 @ \[3\]
+main::1::second_value_after_write \(\) -> 10 @ \[6\]

regression/goto-analyzer/variable-sensitivity-array-interval-access/main.c renamed to regression/goto-analyzer/variable-sensitivity-array-nondet-access/main.c

@@ -0,0 +1,9 @@
+CORE
+main.c
+--show --variable-sensitivity --vsd-values constants --vsd-arrays every-element
+^EXIT=0$
+^SIGNAL=0$
+main::1::arr_at_ix \(\) -> TOP @ \[9\]
+main::1::arr_0_after_write \(\) -> TOP @ \[18\]
+main::1::arr_1_after_write \(\) -> TOP @ \[20\]
+main::1::arr_2_after_write \(\) -> TOP @ \[22\]