Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement