Additional stuff for model differencing