Towards rational and minimal change propagation in model evolution.