git-issue-405.dfy(19,22): Error: insufficient reads clause to read field; Consider extracting x to a local variable before the lambda expression, or adding 'reads this' in the enclosing lambda specification for resolution

Dafny program verifier finished with 6 verified, 1 error
