                     coordinator.RegionTerminationInProgress = coordinator.RegionTerminationInProgress.Add(terminatedRef);                         }                         else                             RegionTerminated(coordinator, terminatedRef);                     }                     else if (coordinator.CurrentState.RegionProxies.Contains(terminatedRef))                         RegionProxyTerminated(coordinator, terminatedRef);                     return true;                 case D