tree_remove: probably a bug in AA's delete.