build_node_ids and build_node_labels
compute_dh and switch forward_tree to VEX_FUNCTIONs