the graph Gp is computed by constructing a sequence of bush forms B~,
1 < k < n, based on the st-numbering used for determining Gp, and possibly
embedding outgoing edges e C E Ep of every vertex k, 1 < k < n, without
crossings in the outer face of Bk-1.