5.1.5 添加设置假定函数assumeAlso