增加了对谓词在未被定义即被使用的处理方法的描述