git-issue-4953.dfy(6,17): Error: type seq<int> does not have a member NonExistingMember
git-issue-4953.dfy(9,18): Error: type seq<int> does not have a member NonExistingMember
git-issue-4953.dfy(14,13): Error: type seq<int> does not have a member NonExistingMember
git-issue-4953.dfy(15,13): Error: type seq<int> does not have a member NonExistingMember
git-issue-4953.dfy(16,17): Error: type seq<int> does not have a member NonExistingMember
5 resolution/type errors detected in git-issue-4953.dfy
