Difference refinement: obtaining differences between two related structures | Synapse