yes, this is why it is called the dungeon: `finishTerminate` is always called, but it depends on whether we need to wait for termination of children whether we do it right away or only upon receiving the last `ChildTerminated` message.