Towards propagation of changes by model approximations