A Complementary Approach to Incorrectness Typing. - Celia Mengyue Li; Sophie Pull; Steven Ramsay (CoRR, 2025)