DecisionTree
data DecisionStep x
data Party
data DecisionTree
unfoldDecisionTree
decisionTree
data ProcessState
data ThreadState
data Blocked c
initialProcessState
currentContract
decisionStep
subst
each
data TradeDir
evalTradeDir
setThirdParty
flipTradeDir
tradeDirParties
data ObsCondition