Similar Items: TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples