A Debugging System for Language-Parameterized Proofs. - Charlesowityear Ly; Eswarasanthosh Kumar Mamillapalli; Matteo Cimini (Rebeca for Actor Analysis in Action, 2025)