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