Azadeh Farzan, Dominik Klumpp, Andreas Podelski: Artifact for PLDI'22 paper "Sound Sequentialization for Concurrent Program Verification". Zenodo 2022