Abstract Domains for Type Juggling