I understand why this assert should be true for 'p' equal to the function argument. But after we started iterating over siblings, I think this is no longer true, generally.

For orphans, I believe the iteration should be also done in depth, same as for siblings. Children of an orphan are also descendants of the process.