Tree.size implemented using Tree.fold