Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 24 nodes, 34 edges Strategy graph: { Program -> * } source:Program source-edge:0 target:* Class graph slice: CNFwithType_PList = [ Nonempty_CNFwithType_PList ] . CNF = Clause_PList [ ClauseCount ] [ ClauseCount ] extends Expression. Nonempty_Literal_PList = Literal [ Nonempty_Literal_PList ] . CNFType = Pair_PList . Nonempty_Clause_PList = Clause [ Nonempty_Clause_PList ] . CNFwithType = CNF CNFType Boolean . Clause_PList = [ Nonempty_Clause_PList ] . Neg = Variable extends Literal. Clause = Weight Literal_PList . Weight = int . Nonempty_Pair_PList = Pair [ Nonempty_Pair_PList ] . Pos = Variable extends Literal. Variable = Ident . Literal_PList = [ Nonempty_Literal_PList ] . Literal : Pos | Neg . Pair = int int . Nonempty_CNFwithType_PList = CNFwithType [ Nonempty_CNFwithType_PList ] . Program = CNFwithType_PList . Expression : . Pair_PList = [ Nonempty_Pair_PList ] . ClauseCount = int .