Eventually Perfect Failure Detector and Leader Election implemented