array-init-empty.dfy(5,13): Error: unless an initializer is provided for the array elements, a new array of 'T' must have empty size
 Asserted expression: 1 == 0

Dafny program verifier finished with 0 verified, 1 error
