I think this assumption of theirs is the flaw.
Sorry for confusing you there. Obviously any node prefers the highest total work the protocol isn't convergent otherwise. This is about blocks which have equal work. Nodes prefer the first heard among those with otherwise equal work. The obvious alternative policies create issues like... incentives for large miners to delay their announcements.
