Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 7 nodes, 6 edges Strategy graph: { Player -> * } source:Player source-edge:0 target:* Class graph slice: Money = float . PlayerName = Ident . Player = PlayerName Money boolean [ PublicKey ] . PublicKey = .