Simplified failure detector, covered by tests