I’m not sure about the second condition: by default `preRestart` unwatches the children, which should get rid of `Terminated` messages during restart; what this check means is that any watch notification will be dropped silently during restart, which is probably not expected.