Constraint ordering for dynamic array

I modified an example on EDA playground with the code I originally attached. The thing is I didn’t actively constrain the size to 1, just within 1:5.Code and randomization failure pictured here.