WITNESS函数变量属性解释