Parser reports unresolved ambiguity

[wiegerw]

For the specification below the parser reports [error] Unresolved ambiguity., without reporting any possible alternatives. It seems like dparser is behaving erratically. If the comment line is removed, the error is gone.

%
init true -> true -> (true -> tau) <> tau;