public bool IsReachable(UniqueAddress node) { return IsAllReachable || !AllUnreachableOrTerminated.Contains(node); }