Dirk Beyer, Po-Chun Chien, Nian-Ze Lee: Reproduction package for VMCAI 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'. Zenodo 2023