After the rebuttal, we agreed with the reviewers to add new optimizations in our model checker, and new benchmarks in the second submission. This artifact version, named "25_v2", contains new benchmarks with intended bugs, and a new version of our model checker which can be downloaded from our Github repository https://github.com/konnov/apalache, the unstable branch. This artifact also comes in the form of a virtual machine (user: oopsla19, pass: ae). The VM contains the Apache license, the source code, the benchmarks, and our model checker, already installed. The updates in our model checker, the benchmarks, amd experimental results are already described in the second submission of our paper.