wrote is_red_black_tree