Boogie program verifier finished with 39 verified, 0 errors