git-issue-1676.dfy(15,13): Error: value of expression (of type 'seq<int>') is not known to be an instance of type 'seq<nat>'
git-issue-1676.dfy(17,13): Error: value of expression (of type 'seq<int>') is not known to be an instance of type 'seq<nat>'
git-issue-1676.dfy(27,42): Error: value does not satisfy the subset constraints of 'nat'
git-issue-1676.dfy(32,44): Error: value does not satisfy the subset constraints of 'nat'
git-issue-1676.dfy(40,44): Error: value of expression (of type 'seq<int>') is not known to be an instance of type 'seq<nat>'
git-issue-1676.dfy(47,30): Error: value of expression (of type 'seq<int>') is not known to be an instance of type 'seq<nat>'
git-issue-1676.dfy(65,31): Error: value of expression (of type 'seq<int>') is not known to be an instance of type 'seq<int1>'
git-issue-1676.dfy(88,31): Error: value of expression (of type 'seq<int>') is not known to be an instance of type 'seq<int0>'
git-issue-1676.dfy(94,31): Error: value of expression (of type 'seq<int>') is not known to be an instance of type 'seq<int1>'
git-issue-1676.dfy(102,16): Error: value does not satisfy the subset constraints of 'int1'
git-issue-1676.dfy(140,47): Error: value of expression (of type 'multiset<bool>') is not known to be an instance of type 'multiset<MyBool>'
git-issue-1676.dfy(141,47): Error: value of expression (of type 'multiset<bool>') is not known to be an instance of type 'multiset<MyBool>'
git-issue-1676.dfy(152,47): Error: value of expression (of type 'multiset<char>') is not known to be an instance of type 'multiset<MyChar>'
git-issue-1676.dfy(153,47): Error: value of expression (of type 'multiset<char>') is not known to be an instance of type 'multiset<MyChar>'
git-issue-1676.dfy(164,46): Error: value of expression (of type 'multiset<int>') is not known to be an instance of type 'multiset<MyInt>'
git-issue-1676.dfy(165,46): Error: value of expression (of type 'multiset<int>') is not known to be an instance of type 'multiset<MyInt>'
git-issue-1676.dfy(176,47): Error: value of expression (of type 'multiset<real>') is not known to be an instance of type 'multiset<MyReal>'
git-issue-1676.dfy(177,47): Error: value of expression (of type 'multiset<real>') is not known to be an instance of type 'multiset<MyReal>'
git-issue-1676.dfy(188,53): Error: value of expression (of type 'multiset<NewTypeInt>') is not known to be an instance of type 'multiset<MyNewTypeInt>'
git-issue-1676.dfy(189,53): Error: value of expression (of type 'multiset<NewTypeInt>') is not known to be an instance of type 'multiset<MyNewTypeInt>'
git-issue-1676.dfy(200,54): Error: value of expression (of type 'multiset<NewTypeReal>') is not known to be an instance of type 'multiset<MyNewTypeReal>'
git-issue-1676.dfy(201,54): Error: value of expression (of type 'multiset<NewTypeReal>') is not known to be an instance of type 'multiset<MyNewTypeReal>'
git-issue-1676.dfy(212,47): Error: value of expression (of type 'multiset<bv10>') is not known to be an instance of type 'multiset<MyBv10>'
git-issue-1676.dfy(213,47): Error: value of expression (of type 'multiset<bv10>') is not known to be an instance of type 'multiset<MyBv10>'
git-issue-1676.dfy(224,40): Error: value does not satisfy the subset constraints of 'MyOrdinal'
git-issue-1676.dfy(225,40): Error: value does not satisfy the subset constraints of 'MyOrdinal'

Dafny program verifier finished with 19 verified, 26 errors
