def __init__(self):
self.expressionTreeProvider = ExpressionTreeProvider()
self.trackingInfoProvider = TrackingInfoProvider()
self.symbolPropagator = SymbolPropagator()
self.exprTreePruner = ExpressionTreePruner()
def __init__(self):
self.exprTreeProvider = ExpressionTreeProvider()
self.trackingInfoProvider = TrackingInfoProvider()
self.treeToExprConverter = TreeToExpressionConverter()
