git-issue-1112.dfy.expect

git-issue-1112.dfy(22,29): Error: target object might be null
git-issue-1112.dfy(24,21): Error: target object might be null
git-issue-1112.dfy(24,38): Error: target object might be null
git-issue-1112.dfy(36,32): Error: target object might be null
git-issue-1112.dfy(38,24): Error: target object might be null
git-issue-1112.dfy(38,44): Error: target object might be null
git-issue-1112.dfy(51,33): Error: target object might be null
git-issue-1112.dfy(53,25): Error: target object might be null
git-issue-1112.dfy(53,46): Error: target object might be null
git-issue-1112.dfy(64,26): Error: receiver could not be proved to be allocated in the state in which its fields are accessed
git-issue-1112.dfy(66,28): Error: receiver could not be proved to be allocated in the state in which its fields are accessed
git-issue-1112.dfy(77,23): Error: array could not be proved to be allocated
git-issue-1112.dfy(79,25): Error: array could not be proved to be allocated
git-issue-1112.dfy(90,23): Error: array could not be proved to be allocated
git-issue-1112.dfy(92,25): Error: array could not be proved to be allocated
git-issue-1112.dfy(98,11): Error: array might be null
git-issue-1112.dfy(98,14): Error: index out of range
git-issue-1112.dfy(99,11): Error: array might be null
git-issue-1112.dfy(99,13): Error: index 0 out of range
git-issue-1112.dfy(99,16): Error: index 1 out of range
git-issue-1112.dfy(107,11): Error: array might be null
git-issue-1112.dfy(108,11): Error: array might be null

Dafny program verifier finished with 5 verified, 22 errors