Flow Chart Checks : (C18033) Default transitions with illegal sources

(C18033) Default transitions with illegal sources

Error In:
Correctness
Description:
Transitions have multiple sources and one of them is either a conditional connector or a history connector.
Example:
In the following figure, the compound transition entering S4 (whose source set consists of the default connector in S1 and the state S2) is an erroneous transition.

 

Erroneous Elements:
Components of the erroneous transitions