AVM 验证程序在遇到错误时写入闪存日志。在文档中，它说验证者将访问可能会发生跳转的“所有可能的分支”。但是，在尝试跟踪输出时仍然很混乱。有什么想法可以正确解释它吗？整个流程看起来很混乱。
例如以下标记的含义是什么。
先合并
合并当前
合并目标
合并后
此外，还有机器指令和机器状态以及寄存器、范围堆栈和操作数堆栈。我明白当我看到指令和后来修改的状态时，例如 PushFalse 会使布尔值出现在操作数堆栈上 - (Boolean[B])。但是有时状态即使没有前面的指令也会写入，结合 MERGE FIRST、MERGE CURRENT 等。这是什么意思？