-------------------- LazyInitArray.dfy --------------------

Dafny program verifier finished with 7 verified, 0 errors

-------------------- SparseArray.dfy --------------------

Dafny program verifier finished with 9 verified, 0 errors

-------------------- Composite.dfy --------------------

Dafny program verifier finished with 16 verified, 0 errors