Eventually Strong Failure Detector - code commented