Build #2136:   Incorporate feedback on __arrays_back on branch cvc4-array-value over 6 years ago