git-issue-854.dfy(11,37): Error: expression is not allowed to invoke a lemma (l)
git-issue-854.dfy(11,38): Error: lemma call is not allowed to be used in an expression context (l)
2 resolution/type errors detected in git-issue-854.dfy
