Bug142.dfy(11,6): Warning: Shadowed let-variable name: state0
Bug142.dfy(12,6): Warning: Shadowed let-variable name: state0
Bug142.dfy(13,6): Warning: Shadowed let-variable name: state0
Bug142.dfy(30,6): Warning: Shadowed let-variable name: state1
Bug142.dfy(31,6): Warning: Shadowed let-variable name: state1
Bug142.dfy(32,6): Warning: Shadowed let-variable name: state1

Dafny program verifier finished with 3 verified, 0 errors
