git-issue-3918.dfy(12,9): Error: ghost variables such as x are allowed only in specification contexts. x was inferred to be ghost based on its declaration or initialization.
git-issue-3918.dfy(18,4): Error: ghost variables such as x are allowed only in specification contexts. x was inferred to be ghost based on its declaration or initialization.
2 resolution/type errors detected in git-issue-3918.dfy
