if ((isLocal(name) || isNode(name)) || thisAgent.equals(preferredLeader()) || isLeader(name)) {
if (isLocal(name)) { newState(name, isLeader(name) ? DEAD : HEALTH_CHECK); } else if (isNode(name) || thisAgent.equals(preferredLeader()) || isLeader(name)) {
    public void expired(String name) {      if ((isLocal(name) || isNode(name)) ||          thisAgent.equals(preferredLeader()) ||          isLeader(name)) {        newState(name, DEAD);      }    }