(C18043) The tested statechart has multiple top-level states and no default entrance Error In: Correctness Description: There are several top-level states in the statechart and no default transition is drawn to any of them. Erroneous Elements: The test chart