Statistics:
  sg: 2 nodes, 1 edge, 1 class, 0 constraints
  cg slice: 8 nodes, 8 edges
Strategy graph:
{
	Nonempty_Player_List -> *
} source:Nonempty_Player_List source-edge:0 target:*
Class graph slice:
Money = <price> float .
PlayerName = <v> Ident .
Nonempty_Player_List = <it> Player [ <next> Nonempty_Player_List ] .
Player = <name> PlayerName <account> Money <turn> boolean [ <publickey> PublicKey ] .
PublicKey = .