if(isLocal(name) || isNode(name)) {
if ((isLocal(name) || isNode(name)) || thisAgent.equals(preferredLeader()) || isLeader(name)) {
    public void enter(String name) {      if(isLocal(name) || isNode(name)) {        doPing(name, DefaultRobustnessController.ACTIVE, DEAD);      }    }