add killing of doomed nodes via Node.check()/Result.check() methods