svcomp: array category

[xlauko]

fix wrong results:

• array-fpi/eqn4f.yml
• array-fpi/eqn3f.yml
• array-programs/copysome2-2.yml
• array-programs/copysome1-2.yml
• reducercommutativity/rangesum05.yml
• array-industry-pattern/check_removal_from_set_after_insertion.yml
• array-industry-pattern/array_single_elem_init.yml
• array-examples/standard_partition_ground-1.yml
• array-examples/standard_copy9_ground-1.yml
• array-examples/standard_copy8_ground-2.yml
• array-examples/standard_copy7_ground-1.yml
• array-examples/standard_copy5_ground-2.yml
• array-examples/standard_copy6_ground-1.yml
• array-examples/standard_copy4_ground-2.yml
• array-examples/standard_copy3_ground-2.yml
• array-examples/standard_copy2_ground-1.yml
• array-examples/standard_copy1_ground-2.yml
• array-examples/standard_allDiff2_ground.yml
• array-examples/sorting_selectionsort_2_ground.yml
• array-examples/sorting_selectionsort_ground-1.yml
• array-examples/sorting_bubblesort_ground-2.yml
• array-examples/data_structures_set_multi_proc_ground-1.yml
• array-examples/sorting_bubblesort_2_ground.yml

fix compilation errors:

• array-fpi/ssina.yml
• array-fpi/ssinaf.yml
• array-fpi/ms2.yml
• array-industry-pattern/array_ptr_single_elem_init-1.yml
• array-industry-pattern/array_ptr_partial_init.yml
• array-industry-pattern/array_of_struct_ptr_monotonic.yml
• array-industry-pattern/array_of_struct_ptr_flag_init.yml
• array-industry-pattern/array_of_struct_ptr_cond_init.yml
• array-examples/relax-2.yml