git-issue-615.dfy(13,35): Error: insufficient reads clause to invoke function
git-issue-615.dfy(24,13): Error: insufficient reads clause to invoke function

Dafny program verifier finished with 3 verified, 2 errors
