Hola Maximiliano!
Sí, es como vos decís. Si la guarda del accept entryB1 es falsa entonces el task A va a quedar bloqueado hasta que en alguna otra iteración se acepte la entryB1. Y sí, a partir del momento de que A queda bloqueado, la evaluación de entryB1'count va a dar al menos 1.
Saludos,
Federico