Computing the size of a binary tree