Handle unconstrained arrays in lower_array_len