Fault trace has unnecessary events when outgoing propagation is specified

[reteprelief]

When the top level component instance has an outgoing propagation specification with a multi element condition then not only the condition is reflected in the fault trace but also each of the elements in the condition as top level event. It should only be the condition.

[reteprelief]

It also results in an incorrect fault tree.
All our examples sofar had a single element as condition for the out propagation condition (OPC) of the top-level component..
My MAX example uses logical expression on multiple engines in an OPC.