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