設中序線索樹的結(jié)點由5個域組成。   
Info：給出結(jié)點的數(shù)據(jù)域。   
LT：標志域，為0或1。 
LL：當LT為1時，給出該結(jié)點的左孩子的地址。
當LT為0時，給出按中序遍歷的前驅(qū)結(jié)點地址。   
RT：標志域，為0或1。 
RL：當RT為1時，給出該結(jié)點的右孩子的地址。   
當RT為O時，給出按中序遍歷的后繼結(jié)點地址。 
請編寫程序，在具有上述結(jié)點結(jié)構(gòu)的中序線索二叉樹上，求某一結(jié)點p按后序遍歷次序的后繼結(jié)點的地址q，設該中序線索二叉樹的根結(jié)點地址為r。
另外，請注意必須滿足： 
（1）額外空間的使用只能為O（1）。     
（2）程序為非遞歸形式。

編寫對二叉樹進行中序遍歷的非遞歸算法，并對算法執(zhí)行如圖所示的二叉樹的情況進行跟蹤（即給出各階段棧的變化及輸出的結(jié)點序列）。
棧已經(jīng)定義：InitStack（S）（初始化）、Empty（S）（判?？眨ush（S，p）（入棧）、Pop（S，p）（出棧）等操作。

己知中序線索二叉樹采用二叉鏈表存儲結(jié)構(gòu)，鏈結(jié)點的構(gòu)造為：
其中若ltag為0，則lchild指向結(jié)點的前驅(qū)，否則lchild指向左孩子結(jié)點；若rtag為0，則rchild指向結(jié)點的后繼，否則rchild指向右孩子結(jié)點。下面的算法返回x所指結(jié)點的直接后繼結(jié)點的位置。若該算法有錯，則請改正錯誤；若無錯，請寫“正確”二字。