fact: Definition genRBTree := bindGen arbitrary (fun h => genRBTree_height (h, Red)).
imports: QuickChick(QuickChick Generators) Lia mathcomp(ssreflect ssrnat ssrbool eqtype) QuickChick.RedBlack(redblack) List String Relations Wellfounded Lexicographic_Product Program.Wf FunctionalExtensionality