Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld: Reproduction Package for STTT 2025 Article 'TransVer: A Modular Program-Transformation Framework for Reduction to Reachability'. Zenodo 2025