A Program Instrumentation Framework for Automatic Verification. - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer; Marten Voorberg (CoRR, 2024)