git-issue-3804a.dfy(10,9): Error: assert label shadows a dominating label
git-issue-3804a.dfy(13,11): Error: assert label shadows a dominating label
2 resolution/type errors detected in git-issue-3804a.dfy
