Dirk Beyer, Martin Spiessl: Reproduction Package for ASE 2023 submission 'LIV: Invariant Validation using Straight-Line Programs'. Zenodo 2023