(C7301) Controlled-termination subactivities of self- terminating activity
This check is generated when an activity of termination type reactive controlled (which is a subactivity of an activity of termination type reactive self) has no control activity.