Summary: 3 instances, 3 unique

Text	Count
{ (* TODO: set/naive solver ? *) apply map_eq => k.	1
(* TODO: Do we need this one ? *)	1
(* TODO: we don't have void atm so I'm using null ;) *)	1