Matrix-OOB.dfy(11,10): Info: Selected triggers: {m[i, j]}
Matrix-OOB.dfy(11,27): Error: index 0 out of range
Matrix-OOB.dfy(11,30): Error: index 1 out of range
Matrix-OOB.dfy(12,0): Error: a postcondition could not be proved on this return path
Matrix-OOB.dfy(11,10): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 0 verified, 3 errors
