An oral presentation of our paper accepted at FSE 2026.