git-issue-3804d.dfy(12,37): Error: unresolved identifier: q
git-issue-3804d.dfy(16,34): Error: unresolved identifier: p
git-issue-3804d.dfy(18,9): Error: unresolved identifier: q
git-issue-3804d.dfy(18,12): Error: unresolved identifier: p
4 resolution/type errors detected in git-issue-3804d.dfy
