Debugging why3使用过程中的OCaml错误

我正试图用krakatoa&jessie（why-2.33）为Windows（Cygwin）编译why3ide（why3-0.81）。一切都进行得很顺利，除了我不能使右下文本框显示符号（它总是空的），而且每次我尝试选择要验证的项目时都会出现错误（在图片中突出显示）。

图片：

这是一个错误：

Apply transformation introduce_premises
Why3ide callback raised an exception:
anomaly: End_of_file

Backtrace:
Raised at file "format.ml", line 197, characters 41-52
Called from file "format.ml", line 425, characters 8-33
Called from file "format.ml", line 440, characters 6-24

如何调试此错误？ （我是OCaml的新手）

format.ml文件位于此处：

此处有引用导入\u前提转换的文件：

另外，我试图为这篇文章添加why3&why3ide标签，但我的声誉还不够。