A synchronous game for binary constraint systems | Synapse