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