def is_size_consistent(current):
if current is None: return True
if current.count != 1 + Node.size(current.left) + \
Node.size(current.right):
return False
return is_size_consistent(current.left) and \
is_size_consistent(current.right)
