(C1031) Loops in compound transitions A group of transition segments, linked through connectors, creates a loop (cycle) that does not contain a state. Error In: Correctness Erroneous Elements: Transition segments in the loops