a impliesDeathOf b is true if the death of a (for instance, a node) implies the death of b (for instance, a process on that node)