Example: Merging Models and Finding Clashes