Debugging Menhir - how?

Hello @olleharstedt,

It seems that a hint has already been given to a similar problem (the uncaught exception MenhirBasics.Error):