重写算法将赋值语句推到执行树的叶子节点一端，但保持了赋值语句之间的相对顺序。
　　化简后的执行树不含相关性, 化简后的执行树如图6.17所示。由于已经将可化简的变量进行了替换，因此各个表达式与赋值语句之间已不存在相关性。现在对任何一个表达式中出现的变量求值时，就等于本程序段开始时该变量的值，也就是上一个模拟周期结束时的值。这样，就符合了我们建立有限状态机模型时各个转换函数并发赋值的要求。
图6.17 化简后进程P的执行树