In the example below the error type is not included in the FTA event representing the error type.
It is included if the out propagation does not have a type or the out propagation type is contained in the constraint{mistake1} of the error event condition
events
mistakes: error event {mistake1, mistake2};
propagations
degraded-[mistakes{mistake1}]-> controlsurfacecmd{NoPilotAction};