Generative Semantic Diff

Auxiliary synchronization

Span marking