let rec isBalanced t = function
    | Leaf -> true
    | Node(t1,_,t2) -> isBalanced t1 &&
                       isBalanced t2 &&
                       abs(height t1 - height t2) <= 1;;