git-issue-2959.dfy(5,2): Error: nondeterministic if statement forbidden by the --enforce-determinism option
git-issue-2959.dfy(13,7): Error: nondeterministic assignment forbidden by the --enforce-determinism option
2 resolution/type errors detected in git-issue-2959.dfy
