Better getEqualityStatus for arrays, smarter combination of theories
More model-based combination for arrays
Added option for developer use only