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