parser_combinators.dfy(38,27): Error: cannot use naked function in recursive setting. Possible solution: eta expansion.
parser_combinators.dfy(39,33): Error: cannot prove termination; try supplying a decreases clause

Dafny program verifier finished with 8 verified, 2 errors

Dafny program verifier did not attempt verification
"((()))": 3 nested parentheses
"((()))no": no valid parse
"((())": no valid parse
