git-issue-1479.dfy(16,35): Error: value does not satisfy the subset constraints of 'SubsetType'
git-issue-1479.dfy(33,21): Error: value does not satisfy the subset constraints of 'R'

Dafny program verifier finished with 1 verified, 2 errors
