ACTS: Alive by Many Proofs