Add ArraySortRefinements