Fix flakening
Add alternative representation for ArrayInit