Statistics:
  sg: 2 nodes, 1 edge, 1 class, 0 constraints
  cg slice: 12 nodes, 14 edges
Strategy graph:
{
	FinishedProduct -> *
} source:FinishedProduct source-edge:0 target:*
Class graph slice:
Assignment = <literal_list> Literal_List .
Variable = <v> Ident .
Literal_List = <first> Nonempty_Literal_List .
FinishedProduct = <assignment> Assignment <quality> Money .
Literal = <lit> Lit .
Nonempty_Literal_List = <it> Literal [ <next> Nonempty_Literal_List ] .
PosLiteral = extends Lit.
NegLiteral = extends Lit.
Money = <price> float .
Lit : PosLiteral | NegLiteral 
			common <variable> Variable .