Replication Package for Article: Reductions for Safety Proofs