Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic. - Shushu WU; Xiwei WU; Qinxiang Cao (CoRR, 2025)