Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 35 nodes, 52 edges Strategy graph: { Nonempty_Transaction_List -> * } source:Nonempty_Transaction_List source-edge:0 target:* Class graph slice: DigitalSignature = . Assignment = Literal_List . Finish = extends Trans. Clause_List = Nonempty_Clause_List . Derivative = DerivativeName PlayerName Money DerivativeType [ PlayerName ] [ RawMaterial ] [ FinishedProduct ] . Lit : PosLiteral | NegLiteral common Variable . ClauseType_List = Nonempty_ClauseType_List . Clause = Weight Literal_List . PosLiteralNum = int . Transaction = Trans . Weight = int . DerivativeName = Ident . DeliverR = extends Trans. Trans : Buy | Create | DeliverR | Finish common PlayerName Derivative [ DigitalSignature ] . Literal_List = Nonempty_Literal_List . Nonempty_Clause_List = Clause [ Nonempty_Clause_List ] . Nonempty_Transaction_List = Transaction [ Nonempty_Transaction_List ] . FinishedProduct = Assignment Money . ClauseType = TotalLiteralNum PosLiteralNum . Nonempty_ClauseType_List = ClauseType [ Nonempty_ClauseType_List ] . DerivativeType = ClauseType_List . Money = float . Variable = Ident . TotalLiteralNum = int . PlayerName = Ident . NegLiteral = extends Lit. Buy = extends Trans. Literal = Lit . PosLiteral = extends Lit. Create = extends Trans. RawMaterial = Clause_List . Nonempty_Literal_List = Literal [ Nonempty_Literal_List ] .