Refinement Type Refutations. - Robin Webbers; Klaus von Gleissenthall; Ranjit Jhala (Proc. ACM Program. Lang., 2024)