Disabling eager array index splitting for QF_AUFLIA
Minor changes to model-based array solver