BTERMINAL

BTERMINAL(t;x) finds the next terminal nodes after nodes x in tree t (or * for the node after the last terminal node).