binomial_tree_merge() is supposed to be static