minor changes for allNonRedefinedChildren()