let rec countA tree n =
 match tree with
 | Leaf -> n
 | Node(tl,_,tr) -> countA tl (countA tr (n+1));;