Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 13 nodes, 23 edges Strategy graph: { Noise3 -> * } source:Noise3 source-edge:0 target:* Class graph slice: Element = int . ItemEmpty = extends ItemList. Item2 = Item extends OptItem. Container = int Noise3 . ItemList : ItemCons | ItemEmpty . Item : Noise1 | Noise2 . EmptyItem = extends OptItem. OptItem : Item2 | EmptyItem . Noise3 = ItemList OptItem . Noise2 = Container extends Item. ItemCons = Item ItemList extends ItemList. Noise1 = Element Element extends Item.