Draft: Simplify strategy selection in SV-COMP24 config
There is no conceptual reason to use VA+k-Induction on loops with arrays, because this can not handle arrays better than our multiple-loops config. So simplify this and use the multiple-loops config for complex loops, as well