Removed feature concatenate_arrays_with_bounds, because AutoProof is actually able to infer that boundary values do not change.