fact: Definition insert_bst_derived_gen := forAllMaybe (@arbitrarySizeST _ (fun t => bst 0 10 t) _ 5) (fun t => forAll (choose (1, 9)) (fun x => is_bst 0 10 (insert x t))).
imports: QuickChick(QuickChick) List String ExtLib(Monad)