git-issue-4983.dfy(12,9): Error: Function body type mismatch (expected Parent, got Dt)
git-issue-4983.dfy(25,9): Error: Function body type mismatch (expected Parent, got Abstract)
git-issue-4983.dfy(6,11): Error: Function body type mismatch (expected Parent, got Dt)
git-issue-4983.dfy(18,11): Error: Function body type mismatch (expected Parent, got Abstract)
4 resolution/type errors detected in git-issue-4983.dfy
