Observer + controller Simulink model and automatically generated why files