fact: Definition is_black_balanced (t : tree) : bool := isSome (black_height_bool t).
imports: QuickChick(QuickChick Generators) Lia mathcomp(ssreflect ssrnat ssrbool eqtype) QuickChick.RedBlack(redblack) List String