git-issue-922.dfy(12,16): Error: value does not satisfy the subset constraints of 'L'
git-issue-922.dfy(15,15): Error: value does not satisfy the subset constraints of 'L'
git-issue-922.dfy(27,15): Error: value does not satisfy the subset constraints of 'L'

Dafny program verifier finished with 2 verified, 3 errors
