tails(e) contains a node v, the sibling node sib and tri-sibling node tsib of v, moreover, the head of e ′ (head(e ′ )) is the grandparent for v and sib.
in line 5, we can capture tri-sibling and grandsibling information and compute the current inside estimate of Eq.8.