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