rb_tree_count_black
left = rb_tree_count_black(self->rb_left);
right = rb_tree_count_black(self->rb_right);
(void) rb_tree_count_black(self);
|| rb_tree_count_black(rbt->rbt_root));