HasChildren is not very well-defined, remove it.