ConnectionEvent
ConnectionEvent(prod, cons, mustConnect);
ConnectionEvent(prod, prod->ConsumerAt(k), true);
ConnectionEvent(prod, cons, false);
ConnectionEvent(prod, prod->ConsumerAt(t), false);
void ConnectionEvent(