Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 4 nodes, 4 edges Strategy graph: { ClauseType -> * } source:ClauseType source-edge:0 target:* Class graph slice: TotalLiteralNum = int . ClauseType = TotalLiteralNum PosLiteralNum . PosLiteralNum = int .