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