Products of Recursive Programs for Hypersafety Verification. - Ruotong Cheng; Azadeh Farzan (CoRR, 2025)