Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 9 nodes, 13 edges Strategy graph: { LiteralList -> * } source:LiteralList source-edge:0 target:* Class graph slice: Variable = Integer . Negative = extends Literal. Positive = extends Literal. Literal : Positive | Negative common Variable . LiteralList : LiteralCons | LiteralEmpty extends Literals. LiteralEmpty = extends LiteralList. Literals : . LiteralCons = Literal LiteralList extends LiteralList.