As a rule, all
full nodes not on the terminal path are removed. This includes any nodes on the paths from
the endpoints of the terminal path to the vertex i and all the nodes in the full subtrees. Any
vertices on the terminal path that are not empty and do not have any empty neighbors are
smoothed, that is, such a vertex is deleted and its neighbors on the terminal path become
adjacent.