修正了公式树的一个bug