F. Equivalent Rewriting

• 最终序列的结果和每个变量最后被哪个操作修改有关
• 考虑将原操作序列建模成一个有向无环图 G，第 i 个操作向第 j 个操作有一条连边 i → j 当且仅当存在某个变量 t 使得 j 是在原顺序中修改 t 的最后的操作，且 i 也修改了 t。