Leaves (elementary_tree 0) = elementary_tree 0