Automatic Inference of Structural Changes for Matching across Program Versions | Synapse