1.Switch to symbolic operation
2.New tree implementation BinaryTree2