public void ClusterHeartbeatSenderState_must_update_FailureDetector_in_active_set()
{
var s1 = _emptyState.AddMember(bb).AddMember(cc).AddMember(dd);
var s2 = s1.HeartbeatRsp(bb).HeartbeatRsp(cc).HeartbeatRsp(dd).HeartbeatRsp(ee);
s2.FailureDetector.IsMonitoring(bb.Address).ShouldBeTrue();
s2.FailureDetector.IsMonitoring(cc.Address).ShouldBeTrue();
s2.FailureDetector.IsMonitoring(dd.Address).ShouldBeTrue();
s2.FailureDetector.IsMonitoring(ee.Address).ShouldBeFalse("Never added (ee) to active set, so we should not be monitoring it even if we did receive HeartbeatRsp from it");
}