(C1143) Default Transitions with priority (not supported) Prioritization of default transitions is not supported. Error In: Correctness Erroneous Elements: Default Transitions