Dirk Beyer, Marian Lingsch Rosenfeld: MetaVal 2 SV-COMP 2026 Submission. Zenodo 2025