Circuit explained: How does a transformer perform compositional generalization | Synapse