Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 13 nodes, 16 edges Strategy graph: { Clause_List -> * } source:Clause_List source-edge:0 target:* Class graph slice: Variable = Ident . Literal_List = Nonempty_Literal_List . Literal = Lit . Nonempty_Clause_List = Clause [ Nonempty_Clause_List ] . Nonempty_Literal_List = Literal [ Nonempty_Literal_List ] . PosLiteral = extends Lit. NegLiteral = extends Lit. Weight = int . Clause = Weight Literal_List . Clause_List = Nonempty_Clause_List . Lit : PosLiteral | NegLiteral common Variable .