1对变量的写入操作不依赖其当前值
不满足：number++/count = count*5等
满足Boolean变量、记录温度变化的变量等
2.该变量没有包含在具有其他变量的不变式中
不满足：不变式low<up