def __init__(self): self.symbolTreeProvider = SymbolSpecificTreeProvider() self.exprTreeNormalizer = ExpressionTreeNormalizer() self.treeToStrings = ExpressionTreeToStringsConverter()