Modernizing SMT-Based Type Error Localization. - Max Kopinsky; Brigitte Pientka; Xujie Si (FMCAD, 2024)