关于PHP变量分离及引用的问题

今天看鸟哥关于PHP变量分离及引用的文章，有一个问题没有弄明白，先把部分截图贴出来：

如果按照上面的说法，那么我把代码稍作修改如下：

那么

代码的第二行：
$var_dup 和 $var 指向相同的zval， refcount为2.

当执行第三行的时候：
PHP发现要操作的zval的refcount大于1，则，PHP会执行Separation, 将$var_dup分离出去，并将$var和$var_ref做change on write关联。也就是，refcount=2, is_ref=1;

在进行到第四行的时候：
由于$var和$var_ref指向的zval的is_ref=1;所以不会分离，使得$var_ref和$var的值都为"OK".

以我的理解，程序的最后，由于$var_dup在执行第三行的时候就已经分离出去了，所以它的值应该保持"laruence"不变，但是，我运行程序的时候发现，它也变成了"OK",这让我很是费解，希望知道答案的大神帮帮我。不知道是我理解错了还是另有隐情，谢谢！

另外附上两个小栗子供大神参考：