fact: Fixpoint insert (x : nat) (t : Tree) := match t with | Leaf => Node x Leaf Leaf | Node y l r => if x < y ? then Node y (insert x l) r else if x > y ? then Node y l (insert x r) else t end.
imports: QuickChick(QuickChick) List String