Rename bush->tree, tree->bdd for accuracy