Dafny program verifier finished with 52 verified, 0 errors