消除了一些基本的归约bug