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