修改了归约上出现的bug,有一些仍然需要解决