The Path Not Taken: Duality in Reasoning about Program Execution. - Eshgin Hasanov; Md. Mahadi Hassan; Santu Karmaker; Aashish Yadavally (CoRR, 2026)