Browse Source

Merge pull request #910 from Yakindu/issue_883

Issue 883
Thomas Kutz 9 years ago
parent
commit
09f5e21a56

+ 6 - 7
plugins/org.yakindu.sct.refactoring/src/org/yakindu/sct/refactoring/refactor/impl/FoldIncomingActionsRefactoring.java

@@ -39,7 +39,7 @@ import org.yakindu.sct.refactoring.refactor.AbstractRefactoring;
  * </ul>
  * Preconditions:
  * <ul>
- * <li>Each incoming transition has at least one action.</li>
+ * <li>At least one action is foldable.</li>
  * <li>No incoming transition enters a composite state which has entry actions.</li>
  * </ul>
  * @author thomas kutz - Initial contribution and API
@@ -59,20 +59,19 @@ public class FoldIncomingActionsRefactoring extends AbstractRefactoring<State> {
 	@Override
 	public boolean isExecutable() {
 		return super.isExecutable()
-				&& allIncomingTransitionsHaveAtLeastOneAction()
+				&& atLeastOneActionIsFoldable()
 				&& noIncomingTransitionEntersCompositeWithEntryActions();
 	}
 
 	private boolean noIncomingTransitionEntersCompositeWithEntryActions() {
 		return !helper.oneIncomingTransitionEntersCompositeWithEntryActions(getContextObject());
 	}
-
-	private boolean allIncomingTransitionsHaveAtLeastOneAction() {
-		return helper.haveAllAtLeastOneAction(getContextObject().getIncomingTransitions());
+	
+	private boolean atLeastOneActionIsFoldable() {
+		EList<Transition> transitions = getContextObject().getIncomingTransitions();
+		return getLastFoldableAction(helper.getAllActions(transitions), 0) != null;
 	}
 
-
-
 	private List<Expression> getFoldableActions() {
 		EList<Transition> transitions = getContextObject()
 				.getIncomingTransitions();

+ 6 - 5
plugins/org.yakindu.sct.refactoring/src/org/yakindu/sct/refactoring/refactor/impl/FoldOutgoingActionsRefactoring.java

@@ -37,7 +37,7 @@ import org.yakindu.sct.refactoring.refactor.AbstractRefactoring;
  * </ul>
  * Preconditions:
  * <ul>
- * <li>Each outgoing transition has at least one action.</li>
+ * <li>At least one action is foldable.</li>
  * <li>No outgoing transition leaves a composite state which has exit actions.</li>
  * </ul>
  * @author thomas kutz - Initial contribution and API
@@ -59,16 +59,17 @@ public class FoldOutgoingActionsRefactoring extends AbstractRefactoring<State> {
 	@Override
 	public boolean isExecutable() {
 		return super.isExecutable()
-				&& allOutgoingTransitionsHaveAtLeastOneAction()
+				&& atLeastOneFoldableAction()
 				&& noOutgoingTransitionLeavesCompositeWithExitActions();
 	}
 
 	private boolean noOutgoingTransitionLeavesCompositeWithExitActions() {
 		return !helper.oneOutgoingTransitionLeavesCompositeWithExitActions(getContextObject());
 	}
-
-	private boolean allOutgoingTransitionsHaveAtLeastOneAction() {
-		return helper.haveAllAtLeastOneAction(getContextObject().getOutgoingTransitions());
+	
+	private boolean atLeastOneFoldableAction() {
+		EList<Transition> transitions = getContextObject().getOutgoingTransitions();
+		return getFirstFoldableAction(helper.getAllActions(transitions), 0) != null;
 	}
 
 	private List<Expression> getFoldableActions(EList<Transition> transitions) {

+ 3 - 0
test-plugins/org.yakindu.sct.refactoring.tests/src/org/yakindu/sct/refactoring/refactor/impl/FoldIncomingActionsRefactoringTest.java

@@ -48,6 +48,9 @@ public class FoldIncomingActionsRefactoringTest extends
 		
 		testRefactoringIsExecutableOnState(FOLD_INCOMING_ACTIONS + INITIAL_STATECHART,
 				FOLD_INCOMING_ACTIONS + EXPECTED_STATECHART, "InnerState", false);
+		
+		testRefactoringIsExecutableOnState(FOLD_INCOMING_ACTIONS + INITIAL_STATECHART,
+				FOLD_INCOMING_ACTIONS + EXPECTED_STATECHART, "D", false);
 	}
 
 	protected AbstractRefactoring<?> getRefactoring(State state) {

+ 3 - 0
test-plugins/org.yakindu.sct.refactoring.tests/src/org/yakindu/sct/refactoring/refactor/impl/FoldOutgoingActionsRefactoringTest.java

@@ -50,6 +50,9 @@ public class FoldOutgoingActionsRefactoringTest extends
 		
 		testRefactoringIsExecutableOnState(FOLD_OUTGOING_ACTIONS + INITIAL_STATECHART,
 				FOLD_OUTGOING_ACTIONS + EXPECTED_STATECHART, "E", false);
+		
+		testRefactoringIsExecutableOnState(FOLD_OUTGOING_ACTIONS + INITIAL_STATECHART,
+				FOLD_OUTGOING_ACTIONS + EXPECTED_STATECHART, "F", false);
 	}
 
 	@Override

+ 261 - 221
test-plugins/org.yakindu.sct.refactoring.tests/testmodels/refactoring/fold_inc_action/after.sct

@@ -1,221 +1,261 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
-  <sgraph:Statechart xmi:id="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
-    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
-      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification=" / x = 3" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
-        <outgoingTransitions xmi:id="_gnvHwMdlEeGOoP2Ze98WBQ" specification="" target="_bKn-0MdlEeGOoP2Ze98WBQ"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="entry / y +=1 ; x+=1 ; y = x + 10" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ _cY-oUMdlEeGOoP2Ze98WBQ"/>
-      <vertices xsi:type="sgraph:State" xmi:id="_bKn-0MdlEeGOoP2Ze98WBQ" name="A2" incomingTransitions="_gnvHwMdlEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_cY-oUMdlEeGOoP2Ze98WBQ" specification="" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
-        <outgoingTransitions xmi:id="_LuJ_MOqjEeG_KKo5r9OX-w" specification="/x+=1" target="_JRcsMOqjEeG_KKo5r9OX-w"/>
-        <outgoingTransitions xmi:id="_WHnAcHIVEeKt7LlJCM3PJg" specification="" target="_TNDT0HIVEeKt7LlJCM3PJg"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_EPdZAOqjEeG_KKo5r9OX-w" specification="entry /&#xA;  x=0" name="CompState">
-        <regions xmi:id="_EPgcUOqjEeG_KKo5r9OX-w" name="compInnerRegion">
-          <vertices xsi:type="sgraph:State" xmi:id="_JRcsMOqjEeG_KKo5r9OX-w" specification="" name="InnerState" incomingTransitions="_LuJ_MOqjEeG_KKo5r9OX-w"/>
-        </regions>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_TNDT0HIVEeKt7LlJCM3PJg" name="C" incomingTransitions="_WHnAcHIVEeKt7LlJCM3PJg"/>
-    </regions>
-  </sgraph:Statechart>
-  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
-    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
-          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
-            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
-              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
-            </children>
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
-            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="70" y="20"/>
-        </children>
-        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="60" y="97"/>
-        </children>
-        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="79" width="93" height="98"/>
-        </children>
-        <children xmi:id="_bKusgMdlEeGOoP2Ze98WBQ" type="State" element="_bKn-0MdlEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_bKvTkMdlEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_bKvTkcdlEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_bKvTksdlEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_bKvTk8dlEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_bKvTlMdlEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bKvTlcdlEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_bKv6oMdlEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_bKusgcdlEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_bKusgsdlEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bKusg8dlEeGOoP2Ze98WBQ" x="62" y="194"/>
-        </children>
-        <children xmi:id="_EQpEwOqjEeG_KKo5r9OX-w" type="State" element="_EPdZAOqjEeG_KKo5r9OX-w">
-          <children xsi:type="notation:DecorationNode" xmi:id="_EQy1wOqjEeG_KKo5r9OX-w" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_EQy1weqjEeG_KKo5r9OX-w"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_EQy1wuqjEeG_KKo5r9OX-w"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_EQzc0OqjEeG_KKo5r9OX-w" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_EQ0D4OqjEeG_KKo5r9OX-w" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ0D4eqjEeG_KKo5r9OX-w"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_EQ0q8OqjEeG_KKo5r9OX-w" type="StateFigureCompartment">
-            <children xmi:id="_EQ7YoOqjEeG_KKo5r9OX-w" type="Region" element="_EPgcUOqjEeG_KKo5r9OX-w">
-              <children xsi:type="notation:DecorationNode" xmi:id="_EQ7_sOqjEeG_KKo5r9OX-w" type="RegionName">
-                <styles xsi:type="notation:ShapeStyle" xmi:id="_EQ7_seqjEeG_KKo5r9OX-w"/>
-                <layoutConstraint xsi:type="notation:Location" xmi:id="_EQ7_suqjEeG_KKo5r9OX-w"/>
-              </children>
-              <children xsi:type="notation:Shape" xmi:id="_EQ7_s-qjEeG_KKo5r9OX-w" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-                <children xmi:id="_JRnrUOqjEeG_KKo5r9OX-w" type="State" element="_JRcsMOqjEeG_KKo5r9OX-w">
-                  <children xsi:type="notation:DecorationNode" xmi:id="_JRoSYOqjEeG_KKo5r9OX-w" type="StateName">
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_JRoSYeqjEeG_KKo5r9OX-w"/>
-                    <layoutConstraint xsi:type="notation:Location" xmi:id="_JRoSYuqjEeG_KKo5r9OX-w"/>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_JRoSY-qjEeG_KKo5r9OX-w" type="StateTextCompartment">
-                    <children xsi:type="notation:Shape" xmi:id="_JRo5cOqjEeG_KKo5r9OX-w" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JRo5ceqjEeG_KKo5r9OX-w"/>
-                    </children>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_JRo5cuqjEeG_KKo5r9OX-w" type="StateFigureCompartment"/>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_JRnrUeqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                  <styles xsi:type="notation:FontStyle" xmi:id="_JRnrUuqjEeG_KKo5r9OX-w"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JRnrU-qjEeG_KKo5r9OX-w" x="50" y="2"/>
-                </children>
-                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ7_tOqjEeG_KKo5r9OX-w"/>
-              </children>
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_EQ7YoeqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ7YouqjEeG_KKo5r9OX-w"/>
-            </children>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_EQpEweqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_EQpEwuqjEeG_KKo5r9OX-w"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQpEw-qjEeG_KKo5r9OX-w" x="289" y="251" width="177" height="150"/>
-        </children>
-        <children xmi:id="_TNCswXIVEeKt7LlJCM3PJg" type="State" element="_TNDT0HIVEeKt7LlJCM3PJg">
-          <children xsi:type="notation:DecorationNode" xmi:id="_TNCswnIVEeKt7LlJCM3PJg" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_TNCsw3IVEeKt7LlJCM3PJg"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_TNCsxHIVEeKt7LlJCM3PJg"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_TNCsxXIVEeKt7LlJCM3PJg" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_TNCsxnIVEeKt7LlJCM3PJg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TNCsx3IVEeKt7LlJCM3PJg"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_TNCsyHIVEeKt7LlJCM3PJg" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_TNCsyXIVEeKt7LlJCM3PJg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_TNCsynIVEeKt7LlJCM3PJg"/>
-          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_TNCsy3IVEeKt7LlJCM3PJg" name="isHorizontal" booleanValue="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TNCszHIVEeKt7LlJCM3PJg" x="301" y="447"/>
-        </children>
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="581" height="535"/>
-    </children>
-    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="535"/>
-    </children>
-    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
-    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
-    </edges>
-    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
-    </edges>
-    <edges xmi:id="_cZAdgMdlEeGOoP2Ze98WBQ" type="Transition" element="_cY-oUMdlEeGOoP2Ze98WBQ" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_cZAdhMdlEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_cZAdhcdlEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_cZAdhsdlEeGOoP2Ze98WBQ" x="-53" y="15"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_cZAdgcdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_cZAdg8dlEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_cZAdgsdlEeGOoP2Ze98WBQ" points="[8, -6, -201, 103]$[200, -6, -9, 103]$[200, -69, -9, 40]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cZC5wMdlEeGOoP2Ze98WBQ" id="(0.775,0.7358490566037735)"/>
-    </edges>
-    <edges xmi:id="_gnw88MdlEeGOoP2Ze98WBQ" type="Transition" element="_gnvHwMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_bKusgMdlEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_gnw89MdlEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_gnw89cdlEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_gnxkAMdlEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_gnw88cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_gnw888dlEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gnw88sdlEeGOoP2Ze98WBQ" points="[-2, 24, 9, -94]$[-10, 121, 1, 3]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gnzZMMdlEeGOoP2Ze98WBQ" id="(0.125,0.9433962264150944)"/>
-    </edges>
-    <edges xmi:id="_LuRT8OqjEeG_KKo5r9OX-w" type="Transition" element="_LuJ_MOqjEeG_KKo5r9OX-w" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_JRnrUOqjEeG_KKo5r9OX-w">
-      <children xsi:type="notation:DecorationNode" xmi:id="_LuR7AeqjEeG_KKo5r9OX-w" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_LuR7AuqjEeG_KKo5r9OX-w"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_LuR7A-qjEeG_KKo5r9OX-w" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_LuRT8eqjEeG_KKo5r9OX-w" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_LuR7AOqjEeG_KKo5r9OX-w" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_LuRT8uqjEeG_KKo5r9OX-w" points="[0, 24, -307, -109]$[0, 133, -307, 0]$[278, 133, -29, 0]"/>
-    </edges>
-    <edges xmi:id="_WHoOkHIVEeKt7LlJCM3PJg" type="Transition" element="_WHnAcHIVEeKt7LlJCM3PJg" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_TNCswXIVEeKt7LlJCM3PJg">
-      <children xsi:type="notation:DecorationNode" xmi:id="_WHoOlHIVEeKt7LlJCM3PJg" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_WHoOlXIVEeKt7LlJCM3PJg"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_WHoOlnIVEeKt7LlJCM3PJg" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_WHoOkXIVEeKt7LlJCM3PJg" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_WHoOk3IVEeKt7LlJCM3PJg" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_WHoOknIVEeKt7LlJCM3PJg" points="[0, 27, -239, -226]$[0, 253, -239, 0]$[222, 253, -17, 0]"/>
-    </edges>
-  </notation:Diagram>
-</xmi:XMI>
+<?xml version="1.0" encoding="UTF-8"?>
+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
+  <sgraph:Statechart xmi:id="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
+    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
+      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification=" / x = 3" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
+        <outgoingTransitions xmi:id="_gnvHwMdlEeGOoP2Ze98WBQ" specification="" target="_bKn-0MdlEeGOoP2Ze98WBQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="entry / y +=1 ; x+=1 ; y = x + 10" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ _cY-oUMdlEeGOoP2Ze98WBQ"/>
+      <vertices xsi:type="sgraph:State" xmi:id="_bKn-0MdlEeGOoP2Ze98WBQ" name="A2" incomingTransitions="_gnvHwMdlEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_cY-oUMdlEeGOoP2Ze98WBQ" specification="" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
+        <outgoingTransitions xmi:id="_LuJ_MOqjEeG_KKo5r9OX-w" specification="/x+=1" target="_JRcsMOqjEeG_KKo5r9OX-w"/>
+        <outgoingTransitions xmi:id="_WHnAcHIVEeKt7LlJCM3PJg" specification="" target="_TNDT0HIVEeKt7LlJCM3PJg"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_EPdZAOqjEeG_KKo5r9OX-w" specification="entry /&#xA;  x=0" name="CompState">
+        <regions xmi:id="_EPgcUOqjEeG_KKo5r9OX-w" name="compInnerRegion">
+          <vertices xsi:type="sgraph:State" xmi:id="_JRcsMOqjEeG_KKo5r9OX-w" specification="" name="InnerState" incomingTransitions="_LuJ_MOqjEeG_KKo5r9OX-w"/>
+        </regions>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_TNDT0HIVEeKt7LlJCM3PJg" name="C" incomingTransitions="_WHnAcHIVEeKt7LlJCM3PJg">
+        <outgoingTransitions xmi:id="_Z8WM0GUUEeahpbK9gQLFbQ" specification="/ x += 1" target="_ZBoRAGUUEeahpbK9gQLFbQ"/>
+        <outgoingTransitions xmi:id="_aVwLUGUUEeahpbK9gQLFbQ" specification="/ y += 1" target="_ZBoRAGUUEeahpbK9gQLFbQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_ZBoRAGUUEeahpbK9gQLFbQ" name="D" incomingTransitions="_Z8WM0GUUEeahpbK9gQLFbQ _aVwLUGUUEeahpbK9gQLFbQ"/>
+    </regions>
+  </sgraph:Statechart>
+  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
+    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
+          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
+            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
+              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
+            </children>
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
+            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="70" y="20"/>
+        </children>
+        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="60" y="97"/>
+        </children>
+        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="79" width="93" height="98"/>
+        </children>
+        <children xmi:id="_bKusgMdlEeGOoP2Ze98WBQ" type="State" element="_bKn-0MdlEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_bKvTkMdlEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_bKvTkcdlEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_bKvTksdlEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_bKvTk8dlEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_bKvTlMdlEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bKvTlcdlEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_bKv6oMdlEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_bKusgcdlEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_bKusgsdlEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bKusg8dlEeGOoP2Ze98WBQ" x="62" y="194"/>
+        </children>
+        <children xmi:id="_EQpEwOqjEeG_KKo5r9OX-w" type="State" element="_EPdZAOqjEeG_KKo5r9OX-w">
+          <children xsi:type="notation:DecorationNode" xmi:id="_EQy1wOqjEeG_KKo5r9OX-w" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_EQy1weqjEeG_KKo5r9OX-w"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_EQy1wuqjEeG_KKo5r9OX-w"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_EQzc0OqjEeG_KKo5r9OX-w" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_EQ0D4OqjEeG_KKo5r9OX-w" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ0D4eqjEeG_KKo5r9OX-w"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_EQ0q8OqjEeG_KKo5r9OX-w" type="StateFigureCompartment">
+            <children xmi:id="_EQ7YoOqjEeG_KKo5r9OX-w" type="Region" element="_EPgcUOqjEeG_KKo5r9OX-w">
+              <children xsi:type="notation:DecorationNode" xmi:id="_EQ7_sOqjEeG_KKo5r9OX-w" type="RegionName">
+                <styles xsi:type="notation:ShapeStyle" xmi:id="_EQ7_seqjEeG_KKo5r9OX-w"/>
+                <layoutConstraint xsi:type="notation:Location" xmi:id="_EQ7_suqjEeG_KKo5r9OX-w"/>
+              </children>
+              <children xsi:type="notation:Shape" xmi:id="_EQ7_s-qjEeG_KKo5r9OX-w" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+                <children xmi:id="_JRnrUOqjEeG_KKo5r9OX-w" type="State" element="_JRcsMOqjEeG_KKo5r9OX-w">
+                  <children xsi:type="notation:DecorationNode" xmi:id="_JRoSYOqjEeG_KKo5r9OX-w" type="StateName">
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_JRoSYeqjEeG_KKo5r9OX-w"/>
+                    <layoutConstraint xsi:type="notation:Location" xmi:id="_JRoSYuqjEeG_KKo5r9OX-w"/>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_JRoSY-qjEeG_KKo5r9OX-w" type="StateTextCompartment">
+                    <children xsi:type="notation:Shape" xmi:id="_JRo5cOqjEeG_KKo5r9OX-w" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JRo5ceqjEeG_KKo5r9OX-w"/>
+                    </children>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_JRo5cuqjEeG_KKo5r9OX-w" type="StateFigureCompartment"/>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_JRnrUeqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                  <styles xsi:type="notation:FontStyle" xmi:id="_JRnrUuqjEeG_KKo5r9OX-w"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JRnrU-qjEeG_KKo5r9OX-w" x="50" y="2"/>
+                </children>
+                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ7_tOqjEeG_KKo5r9OX-w"/>
+              </children>
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_EQ7YoeqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ7YouqjEeG_KKo5r9OX-w"/>
+            </children>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_EQpEweqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_EQpEwuqjEeG_KKo5r9OX-w"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQpEw-qjEeG_KKo5r9OX-w" x="289" y="251" width="177" height="150"/>
+        </children>
+        <children xmi:id="_TNCswXIVEeKt7LlJCM3PJg" type="State" element="_TNDT0HIVEeKt7LlJCM3PJg">
+          <children xsi:type="notation:DecorationNode" xmi:id="_TNCswnIVEeKt7LlJCM3PJg" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_TNCsw3IVEeKt7LlJCM3PJg"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_TNCsxHIVEeKt7LlJCM3PJg"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_TNCsxXIVEeKt7LlJCM3PJg" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_TNCsxnIVEeKt7LlJCM3PJg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TNCsx3IVEeKt7LlJCM3PJg"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_TNCsyHIVEeKt7LlJCM3PJg" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_TNCsyXIVEeKt7LlJCM3PJg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_TNCsynIVEeKt7LlJCM3PJg"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_TNCsy3IVEeKt7LlJCM3PJg" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TNCszHIVEeKt7LlJCM3PJg" x="301" y="447"/>
+        </children>
+        <children xmi:id="_ZBnp8GUUEeahpbK9gQLFbQ" type="State" element="_ZBoRAGUUEeahpbK9gQLFbQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_ZBnp8WUUEeahpbK9gQLFbQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_ZBnp8mUUEeahpbK9gQLFbQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_ZBnp82UUEeahpbK9gQLFbQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_ZBnp9GUUEeahpbK9gQLFbQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_ZBnp9WUUEeahpbK9gQLFbQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZBnp9mUUEeahpbK9gQLFbQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_ZBnp92UUEeahpbK9gQLFbQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_ZBnp-GUUEeahpbK9gQLFbQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_ZBnp-WUUEeahpbK9gQLFbQ"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ZBnp-mUUEeahpbK9gQLFbQ" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZBnp-2UUEeahpbK9gQLFbQ" x="491" y="447"/>
+        </children>
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="581" height="535"/>
+    </children>
+    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="535"/>
+    </children>
+    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
+    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
+    </edges>
+    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
+    </edges>
+    <edges xmi:id="_cZAdgMdlEeGOoP2Ze98WBQ" type="Transition" element="_cY-oUMdlEeGOoP2Ze98WBQ" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_cZAdhMdlEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_cZAdhcdlEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_cZAdhsdlEeGOoP2Ze98WBQ" x="-53" y="15"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_cZAdgcdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_cZAdg8dlEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_cZAdgsdlEeGOoP2Ze98WBQ" points="[8, -6, -201, 103]$[200, -6, -9, 103]$[200, -69, -9, 40]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cZC5wMdlEeGOoP2Ze98WBQ" id="(0.775,0.7358490566037735)"/>
+    </edges>
+    <edges xmi:id="_gnw88MdlEeGOoP2Ze98WBQ" type="Transition" element="_gnvHwMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_bKusgMdlEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_gnw89MdlEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_gnw89cdlEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_gnxkAMdlEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_gnw88cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_gnw888dlEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gnw88sdlEeGOoP2Ze98WBQ" points="[-2, 24, 9, -94]$[-10, 121, 1, 3]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gnzZMMdlEeGOoP2Ze98WBQ" id="(0.125,0.9433962264150944)"/>
+    </edges>
+    <edges xmi:id="_LuRT8OqjEeG_KKo5r9OX-w" type="Transition" element="_LuJ_MOqjEeG_KKo5r9OX-w" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_JRnrUOqjEeG_KKo5r9OX-w">
+      <children xsi:type="notation:DecorationNode" xmi:id="_LuR7AeqjEeG_KKo5r9OX-w" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_LuR7AuqjEeG_KKo5r9OX-w"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_LuR7A-qjEeG_KKo5r9OX-w" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_LuRT8eqjEeG_KKo5r9OX-w" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_LuR7AOqjEeG_KKo5r9OX-w" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_LuRT8uqjEeG_KKo5r9OX-w" points="[0, 24, -307, -109]$[0, 133, -307, 0]$[278, 133, -29, 0]"/>
+    </edges>
+    <edges xmi:id="_WHoOkHIVEeKt7LlJCM3PJg" type="Transition" element="_WHnAcHIVEeKt7LlJCM3PJg" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_TNCswXIVEeKt7LlJCM3PJg">
+      <children xsi:type="notation:DecorationNode" xmi:id="_WHoOlHIVEeKt7LlJCM3PJg" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_WHoOlXIVEeKt7LlJCM3PJg"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_WHoOlnIVEeKt7LlJCM3PJg" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_WHoOkXIVEeKt7LlJCM3PJg" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_WHoOk3IVEeKt7LlJCM3PJg" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_WHoOknIVEeKt7LlJCM3PJg" points="[0, 27, -239, -226]$[0, 253, -239, 0]$[222, 253, -17, 0]"/>
+    </edges>
+    <edges xmi:id="_Z8YCAGUUEeahpbK9gQLFbQ" type="Transition" element="_Z8WM0GUUEeahpbK9gQLFbQ" source="_TNCswXIVEeKt7LlJCM3PJg" target="_ZBnp8GUUEeahpbK9gQLFbQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_Z8YCBGUUEeahpbK9gQLFbQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_Z8YCBWUUEeahpbK9gQLFbQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_Z8YCBmUUEeahpbK9gQLFbQ" y="-12"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_Z8YCAWUUEeahpbK9gQLFbQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_Z8YCA2UUEeahpbK9gQLFbQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Z8YCAmUUEeahpbK9gQLFbQ" points="[18, -9, -172, -9]$[194, -24, 4, -24]"/>
+    </edges>
+    <edges xmi:id="_aVxZcGUUEeahpbK9gQLFbQ" type="Transition" element="_aVwLUGUUEeahpbK9gQLFbQ" source="_TNCswXIVEeKt7LlJCM3PJg" target="_ZBnp8GUUEeahpbK9gQLFbQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_aVyAgGUUEeahpbK9gQLFbQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_aVyAgWUUEeahpbK9gQLFbQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_aVyAgmUUEeahpbK9gQLFbQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_aVxZcWUUEeahpbK9gQLFbQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_aVxZc2UUEeahpbK9gQLFbQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_aVxZcmUUEeahpbK9gQLFbQ" points="[17, 3, -163, 4]$[182, 10, 2, 11]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_aVzOoGUUEeahpbK9gQLFbQ" id="(0.525,0.8113207547169812)"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_aVzOoWUUEeahpbK9gQLFbQ" id="(0.25,0.7735849056603774)"/>
+    </edges>
+  </notation:Diagram>
+</xmi:XMI>

+ 296 - 245
test-plugins/org.yakindu.sct.refactoring.tests/testmodels/refactoring/fold_inc_action/before.sct

@@ -1,245 +1,296 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
-  <sgraph:Statechart xmi:id="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
-    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
-      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification="/x = 3; x+=1; y = x + 10" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
-        <outgoingTransitions xmi:id="_gnvHwMdlEeGOoP2Ze98WBQ" specification="" target="_bKn-0MdlEeGOoP2Ze98WBQ"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="entry / &#xA;  y +=1" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ _cY-oUMdlEeGOoP2Ze98WBQ"/>
-      <vertices xsi:type="sgraph:State" xmi:id="_bKn-0MdlEeGOoP2Ze98WBQ" name="A2" incomingTransitions="_gnvHwMdlEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_cY-oUMdlEeGOoP2Ze98WBQ" specification="/x+=1; y = x + 10 " target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
-        <outgoingTransitions xmi:id="_LuJ_MOqjEeG_KKo5r9OX-w" specification="/x+=1" target="_JRcsMOqjEeG_KKo5r9OX-w"/>
-        <outgoingTransitions xmi:id="_pM7lIHINEeK_6a0R9wQhsg" specification="" target="_jvLjAHINEeK_6a0R9wQhsg"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_EPdZAOqjEeG_KKo5r9OX-w" specification="entry /&#xA;  x=0" name="CompState">
-        <regions xmi:id="_EPgcUOqjEeG_KKo5r9OX-w" name="compInnerRegion">
-          <vertices xsi:type="sgraph:State" xmi:id="_JRcsMOqjEeG_KKo5r9OX-w" specification="" name="InnerState" incomingTransitions="_LuJ_MOqjEeG_KKo5r9OX-w"/>
-        </regions>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_jvLjAHINEeK_6a0R9wQhsg" name="C" incomingTransitions="_pM7lIHINEeK_6a0R9wQhsg"/>
-    </regions>
-  </sgraph:Statechart>
-  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
-    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
-          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
-            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
-              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
-            </children>
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
-            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="70" y="20"/>
-        </children>
-        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="60" y="97"/>
-        </children>
-        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="81" width="93" height="84"/>
-        </children>
-        <children xmi:id="_bKusgMdlEeGOoP2Ze98WBQ" type="State" element="_bKn-0MdlEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_bKvTkMdlEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_bKvTkcdlEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_bKvTksdlEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_bKvTk8dlEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_bKvTlMdlEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bKvTlcdlEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_bKv6oMdlEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_bKusgcdlEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_bKusgsdlEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bKusg8dlEeGOoP2Ze98WBQ" x="62" y="194"/>
-        </children>
-        <children xmi:id="_EQpEwOqjEeG_KKo5r9OX-w" type="State" element="_EPdZAOqjEeG_KKo5r9OX-w">
-          <children xsi:type="notation:DecorationNode" xmi:id="_EQy1wOqjEeG_KKo5r9OX-w" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_EQy1weqjEeG_KKo5r9OX-w"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_EQy1wuqjEeG_KKo5r9OX-w"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_EQzc0OqjEeG_KKo5r9OX-w" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_EQ0D4OqjEeG_KKo5r9OX-w" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ0D4eqjEeG_KKo5r9OX-w"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_EQ0q8OqjEeG_KKo5r9OX-w" type="StateFigureCompartment">
-            <children xmi:id="_EQ7YoOqjEeG_KKo5r9OX-w" type="Region" element="_EPgcUOqjEeG_KKo5r9OX-w">
-              <children xsi:type="notation:DecorationNode" xmi:id="_EQ7_sOqjEeG_KKo5r9OX-w" type="RegionName">
-                <styles xsi:type="notation:ShapeStyle" xmi:id="_EQ7_seqjEeG_KKo5r9OX-w"/>
-                <layoutConstraint xsi:type="notation:Location" xmi:id="_EQ7_suqjEeG_KKo5r9OX-w"/>
-              </children>
-              <children xsi:type="notation:Shape" xmi:id="_EQ7_s-qjEeG_KKo5r9OX-w" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-                <children xmi:id="_JRnrUOqjEeG_KKo5r9OX-w" type="State" element="_JRcsMOqjEeG_KKo5r9OX-w">
-                  <children xsi:type="notation:DecorationNode" xmi:id="_JRoSYOqjEeG_KKo5r9OX-w" type="StateName">
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_JRoSYeqjEeG_KKo5r9OX-w"/>
-                    <layoutConstraint xsi:type="notation:Location" xmi:id="_JRoSYuqjEeG_KKo5r9OX-w"/>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_JRoSY-qjEeG_KKo5r9OX-w" type="StateTextCompartment">
-                    <children xsi:type="notation:Shape" xmi:id="_JRo5cOqjEeG_KKo5r9OX-w" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JRo5ceqjEeG_KKo5r9OX-w"/>
-                    </children>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_JRo5cuqjEeG_KKo5r9OX-w" type="StateFigureCompartment"/>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_JRnrUeqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                  <styles xsi:type="notation:FontStyle" xmi:id="_JRnrUuqjEeG_KKo5r9OX-w"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JRnrU-qjEeG_KKo5r9OX-w" x="50" y="2"/>
-                </children>
-                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ7_tOqjEeG_KKo5r9OX-w"/>
-              </children>
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_EQ7YoeqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ7YouqjEeG_KKo5r9OX-w"/>
-            </children>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_EQpEweqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_EQpEwuqjEeG_KKo5r9OX-w"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQpEw-qjEeG_KKo5r9OX-w" x="289" y="251" width="177" height="154"/>
-        </children>
-        <children xsi:type="notation:Shape" xmi:id="_xdyGwPN2EeGld5XQj3v7aA" type="Note" fontName="Verdana" description="Folding not allowed" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_xd1xIPN2EeGld5XQj3v7aA" type="DiagramName">
-            <element xsi:nil="true"/>
-          </children>
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_xd2YMPN2EeGld5XQj3v7aA" type="Description">
-            <element xsi:nil="true"/>
-          </children>
-          <styles xsi:type="notation:TextStyle" xmi:id="_xdyGwfN2EeGld5XQj3v7aA"/>
-          <styles xsi:type="notation:LineTypeStyle" xmi:id="_xdyGwvN2EeGld5XQj3v7aA"/>
-          <element xsi:nil="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xdyGw_N2EeGld5XQj3v7aA" x="169" y="302" height="37"/>
-        </children>
-        <children xmi:id="_jvPNYHINEeK_6a0R9wQhsg" type="State" element="_jvLjAHINEeK_6a0R9wQhsg">
-          <children xsi:type="notation:DecorationNode" xmi:id="_jvRCkHINEeK_6a0R9wQhsg" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_jvRCkXINEeK_6a0R9wQhsg"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_jvRpoHINEeK_6a0R9wQhsg"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_jvRpoXINEeK_6a0R9wQhsg" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_jvSQsHINEeK_6a0R9wQhsg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jvSQsXINEeK_6a0R9wQhsg"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_jvS3wHINEeK_6a0R9wQhsg" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_jvPNYXINEeK_6a0R9wQhsg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_jvPNYnINEeK_6a0R9wQhsg"/>
-          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_jvS3wXINEeK_6a0R9wQhsg" name="isHorizontal" booleanValue="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jvPNY3INEeK_6a0R9wQhsg" x="291" y="437"/>
-        </children>
-        <children xsi:type="notation:Shape" xmi:id="_sf05QHINEeK_6a0R9wQhsg" type="Note" fontName="Verdana" description="Refactoring disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_sf1gUHINEeK_6a0R9wQhsg" type="DiagramName">
-            <element xsi:nil="true"/>
-          </children>
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_sf1gUXINEeK_6a0R9wQhsg" type="Description">
-            <element xsi:nil="true"/>
-          </children>
-          <styles xsi:type="notation:TextStyle" xmi:id="_sf05QXINEeK_6a0R9wQhsg"/>
-          <styles xsi:type="notation:LineTypeStyle" xmi:id="_sf05QnINEeK_6a0R9wQhsg"/>
-          <element xsi:nil="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_sf05Q3INEeK_6a0R9wQhsg" x="166" y="415" height="31"/>
-        </children>
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="581" height="619"/>
-    </children>
-    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="619"/>
-    </children>
-    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
-    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
-    </edges>
-    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
-    </edges>
-    <edges xmi:id="_cZAdgMdlEeGOoP2Ze98WBQ" type="Transition" element="_cY-oUMdlEeGOoP2Ze98WBQ" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_cZAdhMdlEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_cZAdhcdlEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_cZAdhsdlEeGOoP2Ze98WBQ" x="-53" y="15"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_cZAdgcdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_cZAdg8dlEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_cZAdgsdlEeGOoP2Ze98WBQ" points="[8, -6, -201, 103]$[200, -6, -9, 103]$[200, -69, -9, 40]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cZC5wMdlEeGOoP2Ze98WBQ" id="(0.775,0.7358490566037735)"/>
-    </edges>
-    <edges xmi:id="_gnw88MdlEeGOoP2Ze98WBQ" type="Transition" element="_gnvHwMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_bKusgMdlEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_gnw89MdlEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_gnw89cdlEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_gnxkAMdlEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_gnw88cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_gnw888dlEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gnw88sdlEeGOoP2Ze98WBQ" points="[-2, 24, 9, -94]$[-10, 121, 1, 3]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gnzZMMdlEeGOoP2Ze98WBQ" id="(0.125,0.9433962264150944)"/>
-    </edges>
-    <edges xmi:id="_LuRT8OqjEeG_KKo5r9OX-w" type="Transition" element="_LuJ_MOqjEeG_KKo5r9OX-w" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_JRnrUOqjEeG_KKo5r9OX-w">
-      <children xsi:type="notation:DecorationNode" xmi:id="_LuR7AeqjEeG_KKo5r9OX-w" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_LuR7AuqjEeG_KKo5r9OX-w"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_LuR7A-qjEeG_KKo5r9OX-w" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_LuRT8eqjEeG_KKo5r9OX-w" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_LuR7AOqjEeG_KKo5r9OX-w" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_LuRT8uqjEeG_KKo5r9OX-w" points="[0, 24, -307, -109]$[0, 133, -307, 0]$[278, 133, -29, 0]"/>
-    </edges>
-    <edges xmi:id="_pM-BYHINEeK_6a0R9wQhsg" type="Transition" element="_pM7lIHINEeK_6a0R9wQhsg" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_jvPNYHINEeK_6a0R9wQhsg">
-      <children xsi:type="notation:DecorationNode" xmi:id="_pM-ocHINEeK_6a0R9wQhsg" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_pM-ocXINEeK_6a0R9wQhsg"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_pM-ocnINEeK_6a0R9wQhsg" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_pM-BYXINEeK_6a0R9wQhsg" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_pM-BY3INEeK_6a0R9wQhsg" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_pM-BYnINEeK_6a0R9wQhsg" points="[0, 27, -229, -216]$[0, 235, -229, -8]$[212, 235, -17, -8]"/>
-    </edges>
-  </notation:Diagram>
-</xmi:XMI>
+<?xml version="1.0" encoding="UTF-8"?>
+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
+  <sgraph:Statechart xmi:id="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
+    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
+      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification="/x = 3; x+=1; y = x + 10" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
+        <outgoingTransitions xmi:id="_gnvHwMdlEeGOoP2Ze98WBQ" specification="" target="_bKn-0MdlEeGOoP2Ze98WBQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="entry / &#xA;  y +=1" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ _cY-oUMdlEeGOoP2Ze98WBQ"/>
+      <vertices xsi:type="sgraph:State" xmi:id="_bKn-0MdlEeGOoP2Ze98WBQ" name="A2" incomingTransitions="_gnvHwMdlEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_cY-oUMdlEeGOoP2Ze98WBQ" specification="/x+=1; y = x + 10 " target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
+        <outgoingTransitions xmi:id="_LuJ_MOqjEeG_KKo5r9OX-w" specification="/x+=1" target="_JRcsMOqjEeG_KKo5r9OX-w"/>
+        <outgoingTransitions xmi:id="_pM7lIHINEeK_6a0R9wQhsg" specification="" target="_jvLjAHINEeK_6a0R9wQhsg"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_EPdZAOqjEeG_KKo5r9OX-w" specification="entry /&#xA;  x=0" name="CompState">
+        <regions xmi:id="_EPgcUOqjEeG_KKo5r9OX-w" name="compInnerRegion">
+          <vertices xsi:type="sgraph:State" xmi:id="_JRcsMOqjEeG_KKo5r9OX-w" specification="" name="InnerState" incomingTransitions="_LuJ_MOqjEeG_KKo5r9OX-w"/>
+        </regions>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_jvLjAHINEeK_6a0R9wQhsg" name="C" incomingTransitions="_pM7lIHINEeK_6a0R9wQhsg">
+        <outgoingTransitions xmi:id="_tGpT8GUTEeahpbK9gQLFbQ" specification="/ x += 1" target="_rKV_UGUTEeahpbK9gQLFbQ"/>
+        <outgoingTransitions xmi:id="_u4tugGUTEeahpbK9gQLFbQ" specification="/ y += 1" target="_rKV_UGUTEeahpbK9gQLFbQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_rKV_UGUTEeahpbK9gQLFbQ" name="D" incomingTransitions="_tGpT8GUTEeahpbK9gQLFbQ _u4tugGUTEeahpbK9gQLFbQ"/>
+    </regions>
+  </sgraph:Statechart>
+  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
+    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
+          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
+            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
+              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
+            </children>
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
+            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="70" y="20"/>
+        </children>
+        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="60" y="97"/>
+        </children>
+        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="81" width="93" height="84"/>
+        </children>
+        <children xmi:id="_bKusgMdlEeGOoP2Ze98WBQ" type="State" element="_bKn-0MdlEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_bKvTkMdlEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_bKvTkcdlEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_bKvTksdlEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_bKvTk8dlEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_bKvTlMdlEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bKvTlcdlEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_bKv6oMdlEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_bKusgcdlEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_bKusgsdlEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bKusg8dlEeGOoP2Ze98WBQ" x="62" y="194"/>
+        </children>
+        <children xmi:id="_EQpEwOqjEeG_KKo5r9OX-w" type="State" element="_EPdZAOqjEeG_KKo5r9OX-w">
+          <children xsi:type="notation:DecorationNode" xmi:id="_EQy1wOqjEeG_KKo5r9OX-w" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_EQy1weqjEeG_KKo5r9OX-w"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_EQy1wuqjEeG_KKo5r9OX-w"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_EQzc0OqjEeG_KKo5r9OX-w" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_EQ0D4OqjEeG_KKo5r9OX-w" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ0D4eqjEeG_KKo5r9OX-w"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_EQ0q8OqjEeG_KKo5r9OX-w" type="StateFigureCompartment">
+            <children xmi:id="_EQ7YoOqjEeG_KKo5r9OX-w" type="Region" element="_EPgcUOqjEeG_KKo5r9OX-w">
+              <children xsi:type="notation:DecorationNode" xmi:id="_EQ7_sOqjEeG_KKo5r9OX-w" type="RegionName">
+                <styles xsi:type="notation:ShapeStyle" xmi:id="_EQ7_seqjEeG_KKo5r9OX-w"/>
+                <layoutConstraint xsi:type="notation:Location" xmi:id="_EQ7_suqjEeG_KKo5r9OX-w"/>
+              </children>
+              <children xsi:type="notation:Shape" xmi:id="_EQ7_s-qjEeG_KKo5r9OX-w" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+                <children xmi:id="_JRnrUOqjEeG_KKo5r9OX-w" type="State" element="_JRcsMOqjEeG_KKo5r9OX-w">
+                  <children xsi:type="notation:DecorationNode" xmi:id="_JRoSYOqjEeG_KKo5r9OX-w" type="StateName">
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_JRoSYeqjEeG_KKo5r9OX-w"/>
+                    <layoutConstraint xsi:type="notation:Location" xmi:id="_JRoSYuqjEeG_KKo5r9OX-w"/>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_JRoSY-qjEeG_KKo5r9OX-w" type="StateTextCompartment">
+                    <children xsi:type="notation:Shape" xmi:id="_JRo5cOqjEeG_KKo5r9OX-w" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JRo5ceqjEeG_KKo5r9OX-w"/>
+                    </children>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_JRo5cuqjEeG_KKo5r9OX-w" type="StateFigureCompartment"/>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_JRnrUeqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                  <styles xsi:type="notation:FontStyle" xmi:id="_JRnrUuqjEeG_KKo5r9OX-w"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JRnrU-qjEeG_KKo5r9OX-w" x="50" y="2"/>
+                </children>
+                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ7_tOqjEeG_KKo5r9OX-w"/>
+              </children>
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_EQ7YoeqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQ7YouqjEeG_KKo5r9OX-w"/>
+            </children>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_EQpEweqjEeG_KKo5r9OX-w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_EQpEwuqjEeG_KKo5r9OX-w"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EQpEw-qjEeG_KKo5r9OX-w" x="289" y="251" width="177" height="154"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_xdyGwPN2EeGld5XQj3v7aA" type="Note" fontName="Verdana" description="Folding not allowed" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_xd1xIPN2EeGld5XQj3v7aA" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_xd2YMPN2EeGld5XQj3v7aA" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_xdyGwfN2EeGld5XQj3v7aA"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_xdyGwvN2EeGld5XQj3v7aA"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xdyGw_N2EeGld5XQj3v7aA" x="169" y="302" height="37"/>
+        </children>
+        <children xmi:id="_jvPNYHINEeK_6a0R9wQhsg" type="State" element="_jvLjAHINEeK_6a0R9wQhsg">
+          <children xsi:type="notation:DecorationNode" xmi:id="_jvRCkHINEeK_6a0R9wQhsg" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_jvRCkXINEeK_6a0R9wQhsg"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_jvRpoHINEeK_6a0R9wQhsg"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_jvRpoXINEeK_6a0R9wQhsg" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_jvSQsHINEeK_6a0R9wQhsg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jvSQsXINEeK_6a0R9wQhsg"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_jvS3wHINEeK_6a0R9wQhsg" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_jvPNYXINEeK_6a0R9wQhsg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_jvPNYnINEeK_6a0R9wQhsg"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_jvS3wXINEeK_6a0R9wQhsg" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jvPNY3INEeK_6a0R9wQhsg" x="291" y="437"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_sf05QHINEeK_6a0R9wQhsg" type="Note" fontName="Verdana" description="Refactoring disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_sf1gUHINEeK_6a0R9wQhsg" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_sf1gUXINEeK_6a0R9wQhsg" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_sf05QXINEeK_6a0R9wQhsg"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_sf05QnINEeK_6a0R9wQhsg"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_sf05Q3INEeK_6a0R9wQhsg" x="166" y="415" height="31"/>
+        </children>
+        <children xmi:id="_rKctAGUTEeahpbK9gQLFbQ" type="State" element="_rKV_UGUTEeahpbK9gQLFbQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_rKgXYGUTEeahpbK9gQLFbQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_rKgXYWUTEeahpbK9gQLFbQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_rKgXYmUTEeahpbK9gQLFbQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_rKgXY2UTEeahpbK9gQLFbQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_rKg-cGUTEeahpbK9gQLFbQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rKg-cWUTEeahpbK9gQLFbQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_rKg-cmUTEeahpbK9gQLFbQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_rKctAWUTEeahpbK9gQLFbQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_rKctAmUTEeahpbK9gQLFbQ"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_rKg-c2UTEeahpbK9gQLFbQ" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rKctA2UTEeahpbK9gQLFbQ" x="481" y="437"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_xEzyoGUTEeahpbK9gQLFbQ" type="Note" fontName="Verdana" description="No foldable action => Refactoring disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_xE0ZsGUTEeahpbK9gQLFbQ" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_xE0ZsWUTEeahpbK9gQLFbQ" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_xEzyoWUTEeahpbK9gQLFbQ"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_xEzyomUTEeahpbK9gQLFbQ"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xEzyo2UTEeahpbK9gQLFbQ" x="405" y="497" width="117" height="55"/>
+        </children>
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="581" height="619"/>
+    </children>
+    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="619"/>
+    </children>
+    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
+    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
+    </edges>
+    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
+    </edges>
+    <edges xmi:id="_cZAdgMdlEeGOoP2Ze98WBQ" type="Transition" element="_cY-oUMdlEeGOoP2Ze98WBQ" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_cZAdhMdlEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_cZAdhcdlEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_cZAdhsdlEeGOoP2Ze98WBQ" x="-53" y="15"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_cZAdgcdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_cZAdg8dlEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_cZAdgsdlEeGOoP2Ze98WBQ" points="[8, -6, -201, 103]$[200, -6, -9, 103]$[200, -69, -9, 40]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cZC5wMdlEeGOoP2Ze98WBQ" id="(0.775,0.7358490566037735)"/>
+    </edges>
+    <edges xmi:id="_gnw88MdlEeGOoP2Ze98WBQ" type="Transition" element="_gnvHwMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_bKusgMdlEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_gnw89MdlEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_gnw89cdlEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_gnxkAMdlEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_gnw88cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_gnw888dlEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gnw88sdlEeGOoP2Ze98WBQ" points="[-2, 24, 9, -94]$[-10, 121, 1, 3]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gnzZMMdlEeGOoP2Ze98WBQ" id="(0.125,0.9433962264150944)"/>
+    </edges>
+    <edges xmi:id="_LuRT8OqjEeG_KKo5r9OX-w" type="Transition" element="_LuJ_MOqjEeG_KKo5r9OX-w" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_JRnrUOqjEeG_KKo5r9OX-w">
+      <children xsi:type="notation:DecorationNode" xmi:id="_LuR7AeqjEeG_KKo5r9OX-w" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_LuR7AuqjEeG_KKo5r9OX-w"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_LuR7A-qjEeG_KKo5r9OX-w" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_LuRT8eqjEeG_KKo5r9OX-w" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_LuR7AOqjEeG_KKo5r9OX-w" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_LuRT8uqjEeG_KKo5r9OX-w" points="[0, 24, -307, -109]$[0, 133, -307, 0]$[278, 133, -29, 0]"/>
+    </edges>
+    <edges xmi:id="_pM-BYHINEeK_6a0R9wQhsg" type="Transition" element="_pM7lIHINEeK_6a0R9wQhsg" source="_bKusgMdlEeGOoP2Ze98WBQ" target="_jvPNYHINEeK_6a0R9wQhsg">
+      <children xsi:type="notation:DecorationNode" xmi:id="_pM-ocHINEeK_6a0R9wQhsg" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_pM-ocXINEeK_6a0R9wQhsg"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_pM-ocnINEeK_6a0R9wQhsg" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_pM-BYXINEeK_6a0R9wQhsg" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_pM-BY3INEeK_6a0R9wQhsg" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_pM-BYnINEeK_6a0R9wQhsg" points="[0, 27, -229, -216]$[0, 235, -229, -8]$[212, 235, -17, -8]"/>
+    </edges>
+    <edges xmi:id="_tGrwMGUTEeahpbK9gQLFbQ" type="Transition" element="_tGpT8GUTEeahpbK9gQLFbQ" source="_jvPNYHINEeK_6a0R9wQhsg" target="_rKctAGUTEeahpbK9gQLFbQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_tGsXQWUTEeahpbK9gQLFbQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_tGsXQmUTEeahpbK9gQLFbQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_tGsXQ2UTEeahpbK9gQLFbQ" x="-1" y="-12"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_tGrwMWUTEeahpbK9gQLFbQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_tGsXQGUTEeahpbK9gQLFbQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_tGrwMmUTEeahpbK9gQLFbQ" points="[18, -4, -162, 2]$[182, -24, 2, -18]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tGuzgGUTEeahpbK9gQLFbQ" id="(0.225,0.37735849056603776)"/>
+    </edges>
+    <edges xmi:id="_u4u8oGUTEeahpbK9gQLFbQ" type="Transition" element="_u4tugGUTEeahpbK9gQLFbQ" source="_jvPNYHINEeK_6a0R9wQhsg" target="_rKctAGUTEeahpbK9gQLFbQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_u4vjsWUTEeahpbK9gQLFbQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_u4vjsmUTEeahpbK9gQLFbQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_u4vjs2UTEeahpbK9gQLFbQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_u4u8oWUTEeahpbK9gQLFbQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_u4vjsGUTEeahpbK9gQLFbQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_u4u8omUTEeahpbK9gQLFbQ" points="[18, 1, -172, 1]$[189, 24, -1, 24]"/>
+    </edges>
+  </notation:Diagram>
+</xmi:XMI>

+ 313 - 261
test-plugins/org.yakindu.sct.refactoring.tests/testmodels/refactoring/fold_out_action/after.sct

@@ -1,261 +1,313 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
-  <sgraph:Statechart xmi:id="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
-    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
-      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" specification="exit / x+=1 ; y=3 ; y+=1" name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification=" / y = x + 10" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
-        <outgoingTransitions xmi:id="_JQWKkMdlEeGOoP2Ze98WBQ" specification="" target="_yZnSUPN1EeGld5XQj3v7aA"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ"/>
-      <vertices xsi:type="sgraph:State" xmi:id="_yZnSUPN1EeGld5XQj3v7aA" specification="exit / x = 10" name="CompState" incomingTransitions="_JQWKkMdlEeGOoP2Ze98WBQ">
-        <regions xmi:id="_yZqVoPN1EeGld5XQj3v7aA" name="InnerRegion">
-          <vertices xsi:type="sgraph:State" xmi:id="_0eTG4PN1EeGld5XQj3v7aA" name="InnerState" incomingTransitions="_NU9ecPN2EeGld5XQj3v7aA">
-            <outgoingTransitions xmi:id="_54p2wPN1EeGld5XQj3v7aA" specification="/ x *= 100" target="_4Tz_4PN1EeGld5XQj3v7aA"/>
-          </vertices>
-          <vertices xsi:type="sgraph:Entry" xmi:id="_MtnKkPN2EeGld5XQj3v7aA">
-            <outgoingTransitions xmi:id="_NU9ecPN2EeGld5XQj3v7aA" specification="" target="_0eTG4PN1EeGld5XQj3v7aA"/>
-          </vertices>
-        </regions>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_4Tz_4PN1EeGld5XQj3v7aA" name="D" incomingTransitions="_54p2wPN1EeGld5XQj3v7aA">
-        <outgoingTransitions xmi:id="_a6Ep4HIVEeKt7LlJCM3PJg" specification="" target="_aLRqPHIVEeKt7LlJCM3PJg"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_aLRqPHIVEeKt7LlJCM3PJg" name="E" incomingTransitions="_a6Ep4HIVEeKt7LlJCM3PJg"/>
-    </regions>
-  </sgraph:Statechart>
-  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
-    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
-          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
-            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
-              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
-            </children>
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
-            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="52" y="19"/>
-        </children>
-        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="25" y="98" width="75"/>
-        </children>
-        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="97" width="65" height="68"/>
-        </children>
-        <children xmi:id="_yZxDUPN1EeGld5XQj3v7aA" type="State" element="_yZnSUPN1EeGld5XQj3v7aA">
-          <children xsi:type="notation:DecorationNode" xmi:id="_yZxqYPN1EeGld5XQj3v7aA" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxqYfN1EeGld5XQj3v7aA"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_yZxqYvN1EeGld5XQj3v7aA"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_yZxqY_N1EeGld5XQj3v7aA" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_yZxqZPN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxqZfN1EeGld5XQj3v7aA"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_yZyRcPN1EeGld5XQj3v7aA" type="StateFigureCompartment">
-            <children xmi:id="_yZ0GoPN1EeGld5XQj3v7aA" type="Region" element="_yZqVoPN1EeGld5XQj3v7aA">
-              <children xsi:type="notation:DecorationNode" xmi:id="_yZ0tsvN1EeGld5XQj3v7aA" type="RegionName">
-                <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0ts_N1EeGld5XQj3v7aA"/>
-                <layoutConstraint xsi:type="notation:Location" xmi:id="_yZ0ttPN1EeGld5XQj3v7aA"/>
-              </children>
-              <children xsi:type="notation:Shape" xmi:id="_yZ0ttfN1EeGld5XQj3v7aA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-                <children xmi:id="_0efUIPN1EeGld5XQj3v7aA" type="State" element="_0eTG4PN1EeGld5XQj3v7aA">
-                  <children xsi:type="notation:DecorationNode" xmi:id="_0ef7MPN1EeGld5XQj3v7aA" type="StateName">
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_0ef7MfN1EeGld5XQj3v7aA"/>
-                    <layoutConstraint xsi:type="notation:Location" xmi:id="_0egiQPN1EeGld5XQj3v7aA"/>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_0egiQfN1EeGld5XQj3v7aA" type="StateTextCompartment">
-                    <children xsi:type="notation:Shape" xmi:id="_0egiQvN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0egiQ_N1EeGld5XQj3v7aA"/>
-                    </children>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_0ehJUPN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_0efUIfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                  <styles xsi:type="notation:FontStyle" xmi:id="_0efUIvN1EeGld5XQj3v7aA"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0efUI_N1EeGld5XQj3v7aA" x="50" y="19"/>
-                </children>
-                <children xmi:id="_Mtw7kPN2EeGld5XQj3v7aA" type="Entry" element="_MtnKkPN2EeGld5XQj3v7aA">
-                  <children xmi:id="_Mtw7k_N2EeGld5XQj3v7aA" type="BorderItemLabelContainer">
-                    <children xsi:type="notation:DecorationNode" xmi:id="_MtxioPN2EeGld5XQj3v7aA" type="BorderItemLabel">
-                      <styles xsi:type="notation:ShapeStyle" xmi:id="_MtxiofN2EeGld5XQj3v7aA"/>
-                      <layoutConstraint xsi:type="notation:Location" xmi:id="_MtxiovN2EeGld5XQj3v7aA"/>
-                    </children>
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7lPN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
-                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7lfN2EeGld5XQj3v7aA"/>
-                  </children>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7kfN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7kvN2EeGld5XQj3v7aA" x="16" y="35"/>
-                </children>
-                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0ttvN1EeGld5XQj3v7aA"/>
-              </children>
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0tsPN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0tsfN1EeGld5XQj3v7aA"/>
-            </children>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxDUfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_yZxDUvN1EeGld5XQj3v7aA"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxDU_N1EeGld5XQj3v7aA" x="33" y="313" width="182" height="172"/>
-        </children>
-        <children xmi:id="_4T9w4PN1EeGld5XQj3v7aA" type="State" element="_4Tz_4PN1EeGld5XQj3v7aA">
-          <children xsi:type="notation:DecorationNode" xmi:id="_4T-X8PN1EeGld5XQj3v7aA" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_4T-X8fN1EeGld5XQj3v7aA"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_4T-X8vN1EeGld5XQj3v7aA"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_4T-X8_N1EeGld5XQj3v7aA" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_4T-X9PN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T-X9fN1EeGld5XQj3v7aA"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_4T-_APN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_4T9w4fN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_4T9w4vN1EeGld5XQj3v7aA"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T9w4_N1EeGld5XQj3v7aA" x="321" y="391"/>
-        </children>
-        <children xsi:type="notation:Shape" xmi:id="_Sep8IPN2EeGld5XQj3v7aA" type="Note" fontName="Verdana" description="Folding not allowed" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQPN2EeGld5XQj3v7aA" type="DiagramName">
-            <element xsi:nil="true"/>
-          </children>
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQfN2EeGld5XQj3v7aA" type="Description">
-            <element xsi:nil="true"/>
-          </children>
-          <styles xsi:type="notation:TextStyle" xmi:id="_Sep8IfN2EeGld5XQj3v7aA"/>
-          <styles xsi:type="notation:LineTypeStyle" xmi:id="_Sep8IvN2EeGld5XQj3v7aA"/>
-          <element xsi:nil="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Sep8I_N2EeGld5XQj3v7aA" x="217" y="343" width="105" height="41"/>
-        </children>
-        <children xmi:id="_aLRqMHIVEeKt7LlJCM3PJg" type="State" element="_aLRqPHIVEeKt7LlJCM3PJg">
-          <children xsi:type="notation:DecorationNode" xmi:id="_aLRqMXIVEeKt7LlJCM3PJg" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_aLRqMnIVEeKt7LlJCM3PJg"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_aLRqM3IVEeKt7LlJCM3PJg"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_aLRqNHIVEeKt7LlJCM3PJg" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_aLRqNXIVEeKt7LlJCM3PJg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aLRqNnIVEeKt7LlJCM3PJg"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_aLRqN3IVEeKt7LlJCM3PJg" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_aLRqOHIVEeKt7LlJCM3PJg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_aLRqOXIVEeKt7LlJCM3PJg"/>
-          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_aLRqOnIVEeKt7LlJCM3PJg" name="isHorizontal" booleanValue="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aLRqO3IVEeKt7LlJCM3PJg" x="441" y="391"/>
-        </children>
-        <children xsi:type="notation:Shape" xmi:id="_bVTNUHIVEeKt7LlJCM3PJg" type="Note" fontName="Verdana" description="refactroing disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_bVT0YHIVEeKt7LlJCM3PJg" type="DiagramName">
-            <element xsi:nil="true"/>
-          </children>
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_bVT0YXIVEeKt7LlJCM3PJg" type="Description">
-            <element xsi:nil="true"/>
-          </children>
-          <styles xsi:type="notation:TextStyle" xmi:id="_bVTNUXIVEeKt7LlJCM3PJg"/>
-          <styles xsi:type="notation:LineTypeStyle" xmi:id="_bVTNUnIVEeKt7LlJCM3PJg"/>
-          <element xsi:nil="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bVTNU3IVEeKt7LlJCM3PJg" x="404" y="349" height="29"/>
-        </children>
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="549" height="551"/>
-    </children>
-    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="551"/>
-    </children>
-    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
-    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
-    </edges>
-    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
-    </edges>
-    <edges xmi:id="_JQZ08MdlEeGOoP2Ze98WBQ" type="Transition" element="_JQWKkMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_yZxDUPN1EeGld5XQj3v7aA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_JQacAcdlEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_JQacAsdlEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_JQacA8dlEeGOoP2Ze98WBQ" x="-3" y="-40"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_JQZ08cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_JQacAMdlEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_JQZ08sdlEeGOoP2Ze98WBQ" points="[10, 31, -53, -160]$[61, 186, -2, -5]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_JQeGYMdlEeGOoP2Ze98WBQ" id="(0.12179487179487179,0.005813953488372093)"/>
-    </edges>
-    <edges xmi:id="_54yZoPN1EeGld5XQj3v7aA" type="Transition" element="_54p2wPN1EeGld5XQj3v7aA" source="_0efUIPN1EeGld5XQj3v7aA" target="_4T9w4PN1EeGld5XQj3v7aA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_54yZpPN1EeGld5XQj3v7aA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_54yZpfN1EeGld5XQj3v7aA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_54zAsPN1EeGld5XQj3v7aA" x="26" y="9"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_54yZofN1EeGld5XQj3v7aA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_54yZo_N1EeGld5XQj3v7aA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_54yZovN1EeGld5XQj3v7aA" points="[12, -1, -143, 21]$[155, 2, 0, 24]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_549_0PN1EeGld5XQj3v7aA" id="(0.8125,0.4716981132075472)"/>
-    </edges>
-    <edges xmi:id="_NVCW8PN2EeGld5XQj3v7aA" type="Transition" element="_NU9ecPN2EeGld5XQj3v7aA" source="_Mtw7kPN2EeGld5XQj3v7aA" target="_0efUIPN1EeGld5XQj3v7aA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_NVCW9PN2EeGld5XQj3v7aA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_NVCW9fN2EeGld5XQj3v7aA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_NVCW9vN2EeGld5XQj3v7aA" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_NVCW8fN2EeGld5XQj3v7aA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_NVCW8_N2EeGld5XQj3v7aA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_NVCW8vN2EeGld5XQj3v7aA" points="[7, 0, -33, 4]$[42, -17, 2, -13]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NVHPcPN2EeGld5XQj3v7aA" id="(0.203125,0.2830188679245283)"/>
-    </edges>
-    <edges xmi:id="_a6F4AHIVEeKt7LlJCM3PJg" type="Transition" element="_a6Ep4HIVEeKt7LlJCM3PJg" source="_4T9w4PN1EeGld5XQj3v7aA" target="_aLRqMHIVEeKt7LlJCM3PJg">
-      <children xsi:type="notation:DecorationNode" xmi:id="_a6GfEHIVEeKt7LlJCM3PJg" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_a6GfEXIVEeKt7LlJCM3PJg"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_a6GfEnIVEeKt7LlJCM3PJg" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_a6F4AXIVEeKt7LlJCM3PJg" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_a6F4A3IVEeKt7LlJCM3PJg" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_a6F4AnIVEeKt7LlJCM3PJg" points="[18, 6, -102, -9]$[115, -11, -5, -26]"/>
-    </edges>
-  </notation:Diagram>
-</xmi:XMI>
+<?xml version="1.0" encoding="UTF-8"?>
+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
+  <sgraph:Statechart xmi:id="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
+    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
+      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" specification="exit / x+=1 ; y=3 ; y+=1" name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification=" / y = x + 10" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
+        <outgoingTransitions xmi:id="_JQWKkMdlEeGOoP2Ze98WBQ" specification="" target="_yZnSUPN1EeGld5XQj3v7aA"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ"/>
+      <vertices xsi:type="sgraph:State" xmi:id="_yZnSUPN1EeGld5XQj3v7aA" specification="exit / x = 10" name="CompState" incomingTransitions="_JQWKkMdlEeGOoP2Ze98WBQ">
+        <regions xmi:id="_yZqVoPN1EeGld5XQj3v7aA" name="InnerRegion">
+          <vertices xsi:type="sgraph:State" xmi:id="_0eTG4PN1EeGld5XQj3v7aA" name="InnerState" incomingTransitions="_NU9ecPN2EeGld5XQj3v7aA">
+            <outgoingTransitions xmi:id="_54p2wPN1EeGld5XQj3v7aA" specification="/ x *= 100" target="_4Tz_4PN1EeGld5XQj3v7aA"/>
+          </vertices>
+          <vertices xsi:type="sgraph:Entry" xmi:id="_MtnKkPN2EeGld5XQj3v7aA">
+            <outgoingTransitions xmi:id="_NU9ecPN2EeGld5XQj3v7aA" specification="" target="_0eTG4PN1EeGld5XQj3v7aA"/>
+          </vertices>
+        </regions>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_4Tz_4PN1EeGld5XQj3v7aA" name="D" incomingTransitions="_54p2wPN1EeGld5XQj3v7aA">
+        <outgoingTransitions xmi:id="_a6Ep4HIVEeKt7LlJCM3PJg" specification="" target="_aLRqPHIVEeKt7LlJCM3PJg"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_aLRqPHIVEeKt7LlJCM3PJg" name="E" incomingTransitions="_a6Ep4HIVEeKt7LlJCM3PJg">
+        <outgoingTransitions xmi:id="_qIJGAGUUEeahpbK9gQLFbQ" specification="/ x += 1" target="_pkbU8GUUEeahpbK9gQLFbQ"/>
+        <outgoingTransitions xmi:id="_rXt3gGUUEeahpbK9gQLFbQ" specification="/ y += 1" target="_pkbU8GUUEeahpbK9gQLFbQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_pkbU8GUUEeahpbK9gQLFbQ" name="F" incomingTransitions="_qIJGAGUUEeahpbK9gQLFbQ _rXt3gGUUEeahpbK9gQLFbQ"/>
+    </regions>
+  </sgraph:Statechart>
+  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
+    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
+          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
+            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
+              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
+            </children>
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
+            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="52" y="19"/>
+        </children>
+        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="25" y="98" width="75"/>
+        </children>
+        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="97" width="65" height="68"/>
+        </children>
+        <children xmi:id="_yZxDUPN1EeGld5XQj3v7aA" type="State" element="_yZnSUPN1EeGld5XQj3v7aA">
+          <children xsi:type="notation:DecorationNode" xmi:id="_yZxqYPN1EeGld5XQj3v7aA" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxqYfN1EeGld5XQj3v7aA"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_yZxqYvN1EeGld5XQj3v7aA"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_yZxqY_N1EeGld5XQj3v7aA" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_yZxqZPN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxqZfN1EeGld5XQj3v7aA"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_yZyRcPN1EeGld5XQj3v7aA" type="StateFigureCompartment">
+            <children xmi:id="_yZ0GoPN1EeGld5XQj3v7aA" type="Region" element="_yZqVoPN1EeGld5XQj3v7aA">
+              <children xsi:type="notation:DecorationNode" xmi:id="_yZ0tsvN1EeGld5XQj3v7aA" type="RegionName">
+                <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0ts_N1EeGld5XQj3v7aA"/>
+                <layoutConstraint xsi:type="notation:Location" xmi:id="_yZ0ttPN1EeGld5XQj3v7aA"/>
+              </children>
+              <children xsi:type="notation:Shape" xmi:id="_yZ0ttfN1EeGld5XQj3v7aA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+                <children xmi:id="_0efUIPN1EeGld5XQj3v7aA" type="State" element="_0eTG4PN1EeGld5XQj3v7aA">
+                  <children xsi:type="notation:DecorationNode" xmi:id="_0ef7MPN1EeGld5XQj3v7aA" type="StateName">
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_0ef7MfN1EeGld5XQj3v7aA"/>
+                    <layoutConstraint xsi:type="notation:Location" xmi:id="_0egiQPN1EeGld5XQj3v7aA"/>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_0egiQfN1EeGld5XQj3v7aA" type="StateTextCompartment">
+                    <children xsi:type="notation:Shape" xmi:id="_0egiQvN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0egiQ_N1EeGld5XQj3v7aA"/>
+                    </children>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_0ehJUPN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_0efUIfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                  <styles xsi:type="notation:FontStyle" xmi:id="_0efUIvN1EeGld5XQj3v7aA"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0efUI_N1EeGld5XQj3v7aA" x="50" y="19"/>
+                </children>
+                <children xmi:id="_Mtw7kPN2EeGld5XQj3v7aA" type="Entry" element="_MtnKkPN2EeGld5XQj3v7aA">
+                  <children xmi:id="_Mtw7k_N2EeGld5XQj3v7aA" type="BorderItemLabelContainer">
+                    <children xsi:type="notation:DecorationNode" xmi:id="_MtxioPN2EeGld5XQj3v7aA" type="BorderItemLabel">
+                      <styles xsi:type="notation:ShapeStyle" xmi:id="_MtxiofN2EeGld5XQj3v7aA"/>
+                      <layoutConstraint xsi:type="notation:Location" xmi:id="_MtxiovN2EeGld5XQj3v7aA"/>
+                    </children>
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7lPN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
+                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7lfN2EeGld5XQj3v7aA"/>
+                  </children>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7kfN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7kvN2EeGld5XQj3v7aA" x="16" y="35"/>
+                </children>
+                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0ttvN1EeGld5XQj3v7aA"/>
+              </children>
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0tsPN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0tsfN1EeGld5XQj3v7aA"/>
+            </children>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxDUfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_yZxDUvN1EeGld5XQj3v7aA"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxDU_N1EeGld5XQj3v7aA" x="33" y="313" width="182" height="172"/>
+        </children>
+        <children xmi:id="_4T9w4PN1EeGld5XQj3v7aA" type="State" element="_4Tz_4PN1EeGld5XQj3v7aA">
+          <children xsi:type="notation:DecorationNode" xmi:id="_4T-X8PN1EeGld5XQj3v7aA" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_4T-X8fN1EeGld5XQj3v7aA"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_4T-X8vN1EeGld5XQj3v7aA"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_4T-X8_N1EeGld5XQj3v7aA" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_4T-X9PN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T-X9fN1EeGld5XQj3v7aA"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_4T-_APN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_4T9w4fN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_4T9w4vN1EeGld5XQj3v7aA"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T9w4_N1EeGld5XQj3v7aA" x="321" y="391"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_Sep8IPN2EeGld5XQj3v7aA" type="Note" fontName="Verdana" description="Folding not allowed" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQPN2EeGld5XQj3v7aA" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQfN2EeGld5XQj3v7aA" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_Sep8IfN2EeGld5XQj3v7aA"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_Sep8IvN2EeGld5XQj3v7aA"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Sep8I_N2EeGld5XQj3v7aA" x="217" y="343" width="105" height="41"/>
+        </children>
+        <children xmi:id="_aLRqMHIVEeKt7LlJCM3PJg" type="State" element="_aLRqPHIVEeKt7LlJCM3PJg">
+          <children xsi:type="notation:DecorationNode" xmi:id="_aLRqMXIVEeKt7LlJCM3PJg" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_aLRqMnIVEeKt7LlJCM3PJg"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_aLRqM3IVEeKt7LlJCM3PJg"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_aLRqNHIVEeKt7LlJCM3PJg" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_aLRqNXIVEeKt7LlJCM3PJg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aLRqNnIVEeKt7LlJCM3PJg"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_aLRqN3IVEeKt7LlJCM3PJg" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_aLRqOHIVEeKt7LlJCM3PJg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_aLRqOXIVEeKt7LlJCM3PJg"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_aLRqOnIVEeKt7LlJCM3PJg" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aLRqO3IVEeKt7LlJCM3PJg" x="441" y="391"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_bVTNUHIVEeKt7LlJCM3PJg" type="Note" fontName="Verdana" description="refactroing disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_bVT0YHIVEeKt7LlJCM3PJg" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_bVT0YXIVEeKt7LlJCM3PJg" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_bVTNUXIVEeKt7LlJCM3PJg"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_bVTNUnIVEeKt7LlJCM3PJg"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bVTNU3IVEeKt7LlJCM3PJg" x="404" y="349" height="29"/>
+        </children>
+        <children xmi:id="_pkb8AGUUEeahpbK9gQLFbQ" type="State" element="_pkbU8GUUEeahpbK9gQLFbQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_pkcjEGUUEeahpbK9gQLFbQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_pkcjEWUUEeahpbK9gQLFbQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_pkcjEmUUEeahpbK9gQLFbQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_pkcjE2UUEeahpbK9gQLFbQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_pkcjFGUUEeahpbK9gQLFbQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pkcjFWUUEeahpbK9gQLFbQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_pkcjFmUUEeahpbK9gQLFbQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_pkb8AWUUEeahpbK9gQLFbQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_pkb8AmUUEeahpbK9gQLFbQ"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_pkcjF2UUEeahpbK9gQLFbQ" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pkb8A2UUEeahpbK9gQLFbQ" x="584" y="395"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_suv74WUUEeahpbK9gQLFbQ" type="Note" fontName="Verdana" description="refactroing disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_suv74mUUEeahpbK9gQLFbQ" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_suv742UUEeahpbK9gQLFbQ" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_suv75GUUEeahpbK9gQLFbQ"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_suv75WUUEeahpbK9gQLFbQ"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_suv75mUUEeahpbK9gQLFbQ" x="541" y="349" height="29"/>
+        </children>
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="733" height="551"/>
+    </children>
+    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="551"/>
+    </children>
+    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
+    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
+    </edges>
+    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
+    </edges>
+    <edges xmi:id="_JQZ08MdlEeGOoP2Ze98WBQ" type="Transition" element="_JQWKkMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_yZxDUPN1EeGld5XQj3v7aA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_JQacAcdlEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_JQacAsdlEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_JQacA8dlEeGOoP2Ze98WBQ" x="-3" y="-40"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_JQZ08cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_JQacAMdlEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_JQZ08sdlEeGOoP2Ze98WBQ" points="[10, 31, -53, -160]$[61, 186, -2, -5]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_JQeGYMdlEeGOoP2Ze98WBQ" id="(0.12179487179487179,0.005813953488372093)"/>
+    </edges>
+    <edges xmi:id="_54yZoPN1EeGld5XQj3v7aA" type="Transition" element="_54p2wPN1EeGld5XQj3v7aA" source="_0efUIPN1EeGld5XQj3v7aA" target="_4T9w4PN1EeGld5XQj3v7aA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_54yZpPN1EeGld5XQj3v7aA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_54yZpfN1EeGld5XQj3v7aA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_54zAsPN1EeGld5XQj3v7aA" x="26" y="9"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_54yZofN1EeGld5XQj3v7aA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_54yZo_N1EeGld5XQj3v7aA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_54yZovN1EeGld5XQj3v7aA" points="[12, -1, -143, 21]$[155, 2, 0, 24]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_549_0PN1EeGld5XQj3v7aA" id="(0.8125,0.4716981132075472)"/>
+    </edges>
+    <edges xmi:id="_NVCW8PN2EeGld5XQj3v7aA" type="Transition" element="_NU9ecPN2EeGld5XQj3v7aA" source="_Mtw7kPN2EeGld5XQj3v7aA" target="_0efUIPN1EeGld5XQj3v7aA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_NVCW9PN2EeGld5XQj3v7aA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_NVCW9fN2EeGld5XQj3v7aA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_NVCW9vN2EeGld5XQj3v7aA" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_NVCW8fN2EeGld5XQj3v7aA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_NVCW8_N2EeGld5XQj3v7aA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_NVCW8vN2EeGld5XQj3v7aA" points="[7, 0, -33, 4]$[42, -17, 2, -13]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NVHPcPN2EeGld5XQj3v7aA" id="(0.203125,0.2830188679245283)"/>
+    </edges>
+    <edges xmi:id="_a6F4AHIVEeKt7LlJCM3PJg" type="Transition" element="_a6Ep4HIVEeKt7LlJCM3PJg" source="_4T9w4PN1EeGld5XQj3v7aA" target="_aLRqMHIVEeKt7LlJCM3PJg">
+      <children xsi:type="notation:DecorationNode" xmi:id="_a6GfEHIVEeKt7LlJCM3PJg" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_a6GfEXIVEeKt7LlJCM3PJg"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_a6GfEnIVEeKt7LlJCM3PJg" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_a6F4AXIVEeKt7LlJCM3PJg" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_a6F4A3IVEeKt7LlJCM3PJg" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_a6F4AnIVEeKt7LlJCM3PJg" points="[18, 6, -102, -9]$[115, -11, -5, -26]"/>
+    </edges>
+    <edges xmi:id="_qIJtEGUUEeahpbK9gQLFbQ" type="Transition" element="_qIJGAGUUEeahpbK9gQLFbQ" source="_aLRqMHIVEeKt7LlJCM3PJg" target="_pkb8AGUUEeahpbK9gQLFbQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_qIKUIWUUEeahpbK9gQLFbQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_qIKUImUUEeahpbK9gQLFbQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_qIKUI2UUEeahpbK9gQLFbQ" x="3" y="-9"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_qIJtEWUUEeahpbK9gQLFbQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_qIKUIGUUEeahpbK9gQLFbQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_qIJtEmUUEeahpbK9gQLFbQ" points="[7, 1, -113, 2]$[121, -11, 1, -10]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_qILiQGUUEeahpbK9gQLFbQ" id="(0.825,0.32075471698113206)"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_qILiQWUUEeahpbK9gQLFbQ" id="(0.15,0.22641509433962265)"/>
+    </edges>
+    <edges xmi:id="_rXvFoGUUEeahpbK9gQLFbQ" type="Transition" element="_rXt3gGUUEeahpbK9gQLFbQ" source="_aLRqMHIVEeKt7LlJCM3PJg" target="_pkb8AGUUEeahpbK9gQLFbQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_rXvFpGUUEeahpbK9gQLFbQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_rXvFpWUUEeahpbK9gQLFbQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_rXvFpmUUEeahpbK9gQLFbQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_rXvFoWUUEeahpbK9gQLFbQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_rXvFo2UUEeahpbK9gQLFbQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_rXvFomUUEeahpbK9gQLFbQ" points="[18, 1, -125, -3]$[142, 28, -1, 24]"/>
+    </edges>
+  </notation:Diagram>
+</xmi:XMI>

+ 314 - 261
test-plugins/org.yakindu.sct.refactoring.tests/testmodels/refactoring/fold_out_action/before.sct

@@ -1,261 +1,314 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
-  <sgraph:Statechart xmi:id="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
-    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
-      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" specification="exit /&#xA;  x+=1 " name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
-        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification="/ y=3; y+=1; y = x + 10" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
-        <outgoingTransitions xmi:id="_JQWKkMdlEeGOoP2Ze98WBQ" specification="/ y=3; y+=1" target="_yZnSUPN1EeGld5XQj3v7aA"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ"/>
-      <vertices xsi:type="sgraph:State" xmi:id="_yZnSUPN1EeGld5XQj3v7aA" specification="exit / x = 10" name="CompState" incomingTransitions="_JQWKkMdlEeGOoP2Ze98WBQ">
-        <regions xmi:id="_yZqVoPN1EeGld5XQj3v7aA" name="InnerRegion">
-          <vertices xsi:type="sgraph:State" xmi:id="_0eTG4PN1EeGld5XQj3v7aA" name="InnerState" incomingTransitions="_NU9ecPN2EeGld5XQj3v7aA">
-            <outgoingTransitions xmi:id="_54p2wPN1EeGld5XQj3v7aA" specification="/ x *= 100" target="_4Tz_4PN1EeGld5XQj3v7aA"/>
-          </vertices>
-          <vertices xsi:type="sgraph:Entry" xmi:id="_MtnKkPN2EeGld5XQj3v7aA">
-            <outgoingTransitions xmi:id="_NU9ecPN2EeGld5XQj3v7aA" specification="" target="_0eTG4PN1EeGld5XQj3v7aA"/>
-          </vertices>
-        </regions>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_4Tz_4PN1EeGld5XQj3v7aA" name="D" incomingTransitions="_54p2wPN1EeGld5XQj3v7aA">
-        <outgoingTransitions xmi:id="_BvOkUHIQEeKt7LlJCM3PJg" specification="" target="_AmFK8HIQEeKt7LlJCM3PJg"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_AmFK8HIQEeKt7LlJCM3PJg" name="E" incomingTransitions="_BvOkUHIQEeKt7LlJCM3PJg"/>
-    </regions>
-  </sgraph:Statechart>
-  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
-    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
-          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
-            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
-              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
-            </children>
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
-            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="52" y="19"/>
-        </children>
-        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="25" y="98" width="75"/>
-        </children>
-        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
-          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="97" width="65" height="68"/>
-        </children>
-        <children xmi:id="_yZxDUPN1EeGld5XQj3v7aA" type="State" element="_yZnSUPN1EeGld5XQj3v7aA">
-          <children xsi:type="notation:DecorationNode" xmi:id="_yZxqYPN1EeGld5XQj3v7aA" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxqYfN1EeGld5XQj3v7aA"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_yZxqYvN1EeGld5XQj3v7aA"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_yZxqY_N1EeGld5XQj3v7aA" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_yZxqZPN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxqZfN1EeGld5XQj3v7aA"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_yZyRcPN1EeGld5XQj3v7aA" type="StateFigureCompartment">
-            <children xmi:id="_yZ0GoPN1EeGld5XQj3v7aA" type="Region" element="_yZqVoPN1EeGld5XQj3v7aA">
-              <children xsi:type="notation:DecorationNode" xmi:id="_yZ0tsvN1EeGld5XQj3v7aA" type="RegionName">
-                <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0ts_N1EeGld5XQj3v7aA"/>
-                <layoutConstraint xsi:type="notation:Location" xmi:id="_yZ0ttPN1EeGld5XQj3v7aA"/>
-              </children>
-              <children xsi:type="notation:Shape" xmi:id="_yZ0ttfN1EeGld5XQj3v7aA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-                <children xmi:id="_0efUIPN1EeGld5XQj3v7aA" type="State" element="_0eTG4PN1EeGld5XQj3v7aA">
-                  <children xsi:type="notation:DecorationNode" xmi:id="_0ef7MPN1EeGld5XQj3v7aA" type="StateName">
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_0ef7MfN1EeGld5XQj3v7aA"/>
-                    <layoutConstraint xsi:type="notation:Location" xmi:id="_0egiQPN1EeGld5XQj3v7aA"/>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_0egiQfN1EeGld5XQj3v7aA" type="StateTextCompartment">
-                    <children xsi:type="notation:Shape" xmi:id="_0egiQvN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0egiQ_N1EeGld5XQj3v7aA"/>
-                    </children>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_0ehJUPN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_0efUIfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                  <styles xsi:type="notation:FontStyle" xmi:id="_0efUIvN1EeGld5XQj3v7aA"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0efUI_N1EeGld5XQj3v7aA" x="50" y="19"/>
-                </children>
-                <children xmi:id="_Mtw7kPN2EeGld5XQj3v7aA" type="Entry" element="_MtnKkPN2EeGld5XQj3v7aA">
-                  <children xmi:id="_Mtw7k_N2EeGld5XQj3v7aA" type="BorderItemLabelContainer">
-                    <children xsi:type="notation:DecorationNode" xmi:id="_MtxioPN2EeGld5XQj3v7aA" type="BorderItemLabel">
-                      <styles xsi:type="notation:ShapeStyle" xmi:id="_MtxiofN2EeGld5XQj3v7aA"/>
-                      <layoutConstraint xsi:type="notation:Location" xmi:id="_MtxiovN2EeGld5XQj3v7aA"/>
-                    </children>
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7lPN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
-                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7lfN2EeGld5XQj3v7aA"/>
-                  </children>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7kfN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7kvN2EeGld5XQj3v7aA" x="16" y="35"/>
-                </children>
-                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0ttvN1EeGld5XQj3v7aA"/>
-              </children>
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0tsPN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0tsfN1EeGld5XQj3v7aA"/>
-            </children>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxDUfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_yZxDUvN1EeGld5XQj3v7aA"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxDU_N1EeGld5XQj3v7aA" x="33" y="313" width="182" height="172"/>
-        </children>
-        <children xmi:id="_4T9w4PN1EeGld5XQj3v7aA" type="State" element="_4Tz_4PN1EeGld5XQj3v7aA">
-          <children xsi:type="notation:DecorationNode" xmi:id="_4T-X8PN1EeGld5XQj3v7aA" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_4T-X8fN1EeGld5XQj3v7aA"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_4T-X8vN1EeGld5XQj3v7aA"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_4T-X8_N1EeGld5XQj3v7aA" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_4T-X9PN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T-X9fN1EeGld5XQj3v7aA"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_4T-_APN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_4T9w4fN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_4T9w4vN1EeGld5XQj3v7aA"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T9w4_N1EeGld5XQj3v7aA" x="321" y="391"/>
-        </children>
-        <children xsi:type="notation:Shape" xmi:id="_Sep8IPN2EeGld5XQj3v7aA" type="Note" fontName="Verdana" description="Folding not allowed" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQPN2EeGld5XQj3v7aA" type="DiagramName">
-            <element xsi:nil="true"/>
-          </children>
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQfN2EeGld5XQj3v7aA" type="Description">
-            <element xsi:nil="true"/>
-          </children>
-          <styles xsi:type="notation:TextStyle" xmi:id="_Sep8IfN2EeGld5XQj3v7aA"/>
-          <styles xsi:type="notation:LineTypeStyle" xmi:id="_Sep8IvN2EeGld5XQj3v7aA"/>
-          <element xsi:nil="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Sep8I_N2EeGld5XQj3v7aA" x="217" y="343" width="105" height="41"/>
-        </children>
-        <children xmi:id="_AmpLoHIQEeKt7LlJCM3PJg" type="State" element="_AmFK8HIQEeKt7LlJCM3PJg">
-          <children xsi:type="notation:DecorationNode" xmi:id="_AmrA0HIQEeKt7LlJCM3PJg" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_AmrA0XIQEeKt7LlJCM3PJg"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_AmrA0nIQEeKt7LlJCM3PJg"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_AmrA03IQEeKt7LlJCM3PJg" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_Amrn4HIQEeKt7LlJCM3PJg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Amrn4XIQEeKt7LlJCM3PJg"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_Amrn4nIQEeKt7LlJCM3PJg" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_AmpLoXIQEeKt7LlJCM3PJg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_AmpLonIQEeKt7LlJCM3PJg"/>
-          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Amrn43IQEeKt7LlJCM3PJg" name="isHorizontal" booleanValue="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AmpLo3IQEeKt7LlJCM3PJg" x="431" y="396"/>
-        </children>
-        <children xsi:type="notation:Shape" xmi:id="_CrkQwHIQEeKt7LlJCM3PJg" type="Note" fontName="Verdana" description="Refactoring disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_Crk30HIQEeKt7LlJCM3PJg" type="DiagramName">
-            <element xsi:nil="true"/>
-          </children>
-          <children xsi:type="notation:BasicDecorationNode" xmi:id="_Crk30XIQEeKt7LlJCM3PJg" type="Description">
-            <element xsi:nil="true"/>
-          </children>
-          <styles xsi:type="notation:TextStyle" xmi:id="_CrkQwXIQEeKt7LlJCM3PJg"/>
-          <styles xsi:type="notation:LineTypeStyle" xmi:id="_CrkQwnIQEeKt7LlJCM3PJg"/>
-          <element xsi:nil="true"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CrkQw3IQEeKt7LlJCM3PJg" x="355" y="356" height="28"/>
-        </children>
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="549" height="551"/>
-    </children>
-    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
-      </children>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="551"/>
-    </children>
-    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
-    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
-    </edges>
-    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
-      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
-    </edges>
-    <edges xmi:id="_JQZ08MdlEeGOoP2Ze98WBQ" type="Transition" element="_JQWKkMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_yZxDUPN1EeGld5XQj3v7aA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_JQacAcdlEeGOoP2Ze98WBQ" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_JQacAsdlEeGOoP2Ze98WBQ"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_JQacA8dlEeGOoP2Ze98WBQ" x="-3" y="-40"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_JQZ08cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_JQacAMdlEeGOoP2Ze98WBQ" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_JQZ08sdlEeGOoP2Ze98WBQ" points="[10, 31, -53, -160]$[61, 186, -2, -5]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_JQeGYMdlEeGOoP2Ze98WBQ" id="(0.12179487179487179,0.005813953488372093)"/>
-    </edges>
-    <edges xmi:id="_54yZoPN1EeGld5XQj3v7aA" type="Transition" element="_54p2wPN1EeGld5XQj3v7aA" source="_0efUIPN1EeGld5XQj3v7aA" target="_4T9w4PN1EeGld5XQj3v7aA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_54yZpPN1EeGld5XQj3v7aA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_54yZpfN1EeGld5XQj3v7aA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_54zAsPN1EeGld5XQj3v7aA" x="26" y="9"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_54yZofN1EeGld5XQj3v7aA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_54yZo_N1EeGld5XQj3v7aA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_54yZovN1EeGld5XQj3v7aA" points="[12, -1, -143, 21]$[155, 2, 0, 24]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_549_0PN1EeGld5XQj3v7aA" id="(0.8125,0.4716981132075472)"/>
-    </edges>
-    <edges xmi:id="_NVCW8PN2EeGld5XQj3v7aA" type="Transition" element="_NU9ecPN2EeGld5XQj3v7aA" source="_Mtw7kPN2EeGld5XQj3v7aA" target="_0efUIPN1EeGld5XQj3v7aA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_NVCW9PN2EeGld5XQj3v7aA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_NVCW9fN2EeGld5XQj3v7aA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_NVCW9vN2EeGld5XQj3v7aA" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_NVCW8fN2EeGld5XQj3v7aA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_NVCW8_N2EeGld5XQj3v7aA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_NVCW8vN2EeGld5XQj3v7aA" points="[7, 0, -33, 4]$[42, -17, 2, -13]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NVHPcPN2EeGld5XQj3v7aA" id="(0.203125,0.2830188679245283)"/>
-    </edges>
-    <edges xmi:id="_BvRAkHIQEeKt7LlJCM3PJg" type="Transition" element="_BvOkUHIQEeKt7LlJCM3PJg" source="_4T9w4PN1EeGld5XQj3v7aA" target="_AmpLoHIQEeKt7LlJCM3PJg">
-      <children xsi:type="notation:DecorationNode" xmi:id="_BvRnoHIQEeKt7LlJCM3PJg" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_BvRnoXIQEeKt7LlJCM3PJg"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_BvRnonIQEeKt7LlJCM3PJg" y="10"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_BvRAkXIQEeKt7LlJCM3PJg" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_BvRAk3IQEeKt7LlJCM3PJg" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_BvRAknIQEeKt7LlJCM3PJg" points="[18, -1, -92, -6]$[113, -21, 3, -26]"/>
-    </edges>
-  </notation:Diagram>
-</xmi:XMI>
+<?xml version="1.0" encoding="UTF-8"?>
+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
+  <sgraph:Statechart xmi:id="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
+    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
+      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" specification="exit /&#xA;  x+=1 " name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
+        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification="/ y=3; y+=1; y = x + 10" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
+        <outgoingTransitions xmi:id="_JQWKkMdlEeGOoP2Ze98WBQ" specification="/ y=3; y+=1" target="_yZnSUPN1EeGld5XQj3v7aA"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ"/>
+      <vertices xsi:type="sgraph:State" xmi:id="_yZnSUPN1EeGld5XQj3v7aA" specification="exit / x = 10" name="CompState" incomingTransitions="_JQWKkMdlEeGOoP2Ze98WBQ">
+        <regions xmi:id="_yZqVoPN1EeGld5XQj3v7aA" name="InnerRegion">
+          <vertices xsi:type="sgraph:State" xmi:id="_0eTG4PN1EeGld5XQj3v7aA" name="InnerState" incomingTransitions="_NU9ecPN2EeGld5XQj3v7aA">
+            <outgoingTransitions xmi:id="_54p2wPN1EeGld5XQj3v7aA" specification="/ x *= 100" target="_4Tz_4PN1EeGld5XQj3v7aA"/>
+          </vertices>
+          <vertices xsi:type="sgraph:Entry" xmi:id="_MtnKkPN2EeGld5XQj3v7aA">
+            <outgoingTransitions xmi:id="_NU9ecPN2EeGld5XQj3v7aA" specification="" target="_0eTG4PN1EeGld5XQj3v7aA"/>
+          </vertices>
+        </regions>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_4Tz_4PN1EeGld5XQj3v7aA" name="D" incomingTransitions="_54p2wPN1EeGld5XQj3v7aA">
+        <outgoingTransitions xmi:id="_BvOkUHIQEeKt7LlJCM3PJg" specification="" target="_AmFK8HIQEeKt7LlJCM3PJg"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_AmFK8HIQEeKt7LlJCM3PJg" name="E" incomingTransitions="_BvOkUHIQEeKt7LlJCM3PJg">
+        <outgoingTransitions xmi:id="_kX5lsGUUEeahpbK9gQLFbQ" specification=" / x += 1" target="_jn5sIGUUEeahpbK9gQLFbQ"/>
+        <outgoingTransitions xmi:id="_l-AA0GUUEeahpbK9gQLFbQ" specification="/ y += 1" target="_jn5sIGUUEeahpbK9gQLFbQ"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_jn5sIGUUEeahpbK9gQLFbQ" name="F" incomingTransitions="_kX5lsGUUEeahpbK9gQLFbQ _l-AA0GUUEeahpbK9gQLFbQ"/>
+    </regions>
+  </sgraph:Statechart>
+  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
+    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
+          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
+            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
+              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
+            </children>
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
+            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="52" y="19"/>
+        </children>
+        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="25" y="98" width="75"/>
+        </children>
+        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="97" width="65" height="68"/>
+        </children>
+        <children xmi:id="_yZxDUPN1EeGld5XQj3v7aA" type="State" element="_yZnSUPN1EeGld5XQj3v7aA">
+          <children xsi:type="notation:DecorationNode" xmi:id="_yZxqYPN1EeGld5XQj3v7aA" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxqYfN1EeGld5XQj3v7aA"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_yZxqYvN1EeGld5XQj3v7aA"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_yZxqY_N1EeGld5XQj3v7aA" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_yZxqZPN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxqZfN1EeGld5XQj3v7aA"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_yZyRcPN1EeGld5XQj3v7aA" type="StateFigureCompartment">
+            <children xmi:id="_yZ0GoPN1EeGld5XQj3v7aA" type="Region" element="_yZqVoPN1EeGld5XQj3v7aA">
+              <children xsi:type="notation:DecorationNode" xmi:id="_yZ0tsvN1EeGld5XQj3v7aA" type="RegionName">
+                <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0ts_N1EeGld5XQj3v7aA"/>
+                <layoutConstraint xsi:type="notation:Location" xmi:id="_yZ0ttPN1EeGld5XQj3v7aA"/>
+              </children>
+              <children xsi:type="notation:Shape" xmi:id="_yZ0ttfN1EeGld5XQj3v7aA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+                <children xmi:id="_0efUIPN1EeGld5XQj3v7aA" type="State" element="_0eTG4PN1EeGld5XQj3v7aA">
+                  <children xsi:type="notation:DecorationNode" xmi:id="_0ef7MPN1EeGld5XQj3v7aA" type="StateName">
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_0ef7MfN1EeGld5XQj3v7aA"/>
+                    <layoutConstraint xsi:type="notation:Location" xmi:id="_0egiQPN1EeGld5XQj3v7aA"/>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_0egiQfN1EeGld5XQj3v7aA" type="StateTextCompartment">
+                    <children xsi:type="notation:Shape" xmi:id="_0egiQvN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0egiQ_N1EeGld5XQj3v7aA"/>
+                    </children>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_0ehJUPN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_0efUIfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                  <styles xsi:type="notation:FontStyle" xmi:id="_0efUIvN1EeGld5XQj3v7aA"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0efUI_N1EeGld5XQj3v7aA" x="50" y="19"/>
+                </children>
+                <children xmi:id="_Mtw7kPN2EeGld5XQj3v7aA" type="Entry" element="_MtnKkPN2EeGld5XQj3v7aA">
+                  <children xmi:id="_Mtw7k_N2EeGld5XQj3v7aA" type="BorderItemLabelContainer">
+                    <children xsi:type="notation:DecorationNode" xmi:id="_MtxioPN2EeGld5XQj3v7aA" type="BorderItemLabel">
+                      <styles xsi:type="notation:ShapeStyle" xmi:id="_MtxiofN2EeGld5XQj3v7aA"/>
+                      <layoutConstraint xsi:type="notation:Location" xmi:id="_MtxiovN2EeGld5XQj3v7aA"/>
+                    </children>
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7lPN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
+                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7lfN2EeGld5XQj3v7aA"/>
+                  </children>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7kfN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7kvN2EeGld5XQj3v7aA" x="16" y="35"/>
+                </children>
+                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0ttvN1EeGld5XQj3v7aA"/>
+              </children>
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0tsPN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0tsfN1EeGld5XQj3v7aA"/>
+            </children>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxDUfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_yZxDUvN1EeGld5XQj3v7aA"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxDU_N1EeGld5XQj3v7aA" x="33" y="313" width="182" height="172"/>
+        </children>
+        <children xmi:id="_4T9w4PN1EeGld5XQj3v7aA" type="State" element="_4Tz_4PN1EeGld5XQj3v7aA">
+          <children xsi:type="notation:DecorationNode" xmi:id="_4T-X8PN1EeGld5XQj3v7aA" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_4T-X8fN1EeGld5XQj3v7aA"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_4T-X8vN1EeGld5XQj3v7aA"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_4T-X8_N1EeGld5XQj3v7aA" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_4T-X9PN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T-X9fN1EeGld5XQj3v7aA"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_4T-_APN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_4T9w4fN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_4T9w4vN1EeGld5XQj3v7aA"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T9w4_N1EeGld5XQj3v7aA" x="321" y="391"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_Sep8IPN2EeGld5XQj3v7aA" type="Note" fontName="Verdana" description="Folding not allowed" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQPN2EeGld5XQj3v7aA" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQfN2EeGld5XQj3v7aA" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_Sep8IfN2EeGld5XQj3v7aA"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_Sep8IvN2EeGld5XQj3v7aA"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Sep8I_N2EeGld5XQj3v7aA" x="217" y="343" width="105" height="41"/>
+        </children>
+        <children xmi:id="_AmpLoHIQEeKt7LlJCM3PJg" type="State" element="_AmFK8HIQEeKt7LlJCM3PJg">
+          <children xsi:type="notation:DecorationNode" xmi:id="_AmrA0HIQEeKt7LlJCM3PJg" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_AmrA0XIQEeKt7LlJCM3PJg"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_AmrA0nIQEeKt7LlJCM3PJg"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_AmrA03IQEeKt7LlJCM3PJg" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_Amrn4HIQEeKt7LlJCM3PJg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Amrn4XIQEeKt7LlJCM3PJg"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_Amrn4nIQEeKt7LlJCM3PJg" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_AmpLoXIQEeKt7LlJCM3PJg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_AmpLonIQEeKt7LlJCM3PJg"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Amrn43IQEeKt7LlJCM3PJg" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AmpLo3IQEeKt7LlJCM3PJg" x="431" y="396"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_CrkQwHIQEeKt7LlJCM3PJg" type="Note" fontName="Verdana" description="Refactoring disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_Crk30HIQEeKt7LlJCM3PJg" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_Crk30XIQEeKt7LlJCM3PJg" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_CrkQwXIQEeKt7LlJCM3PJg"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_CrkQwnIQEeKt7LlJCM3PJg"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CrkQw3IQEeKt7LlJCM3PJg" x="355" y="356" height="28"/>
+        </children>
+        <children xmi:id="_jn66QGUUEeahpbK9gQLFbQ" type="State" element="_jn5sIGUUEeahpbK9gQLFbQ">
+          <children xsi:type="notation:DecorationNode" xmi:id="_jn7hUGUUEeahpbK9gQLFbQ" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_jn7hUWUUEeahpbK9gQLFbQ"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_jn7hUmUUEeahpbK9gQLFbQ"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_jn7hU2UUEeahpbK9gQLFbQ" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_jn7hVGUUEeahpbK9gQLFbQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jn7hVWUUEeahpbK9gQLFbQ"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_jn7hVmUUEeahpbK9gQLFbQ" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_jn66QWUUEeahpbK9gQLFbQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_jn66QmUUEeahpbK9gQLFbQ"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_jn7hV2UUEeahpbK9gQLFbQ" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jn66Q2UUEeahpbK9gQLFbQ" x="565" y="402"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_nOUZMGUUEeahpbK9gQLFbQ" type="Note" fontName="Verdana" description="Refactoring disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_nOUZMWUUEeahpbK9gQLFbQ" type="DiagramName">
+            <element xsi:nil="true"/>
+          </children>
+          <children xsi:type="notation:BasicDecorationNode" xmi:id="_nOUZMmUUEeahpbK9gQLFbQ" type="Description">
+            <element xsi:nil="true"/>
+          </children>
+          <styles xsi:type="notation:TextStyle" xmi:id="_nOUZM2UUEeahpbK9gQLFbQ"/>
+          <styles xsi:type="notation:LineTypeStyle" xmi:id="_nOUZNGUUEeahpbK9gQLFbQ"/>
+          <element xsi:nil="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_nOUZNWUUEeahpbK9gQLFbQ" x="497" y="356" height="28"/>
+        </children>
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="645" height="551"/>
+    </children>
+    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
+      </children>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="551"/>
+    </children>
+    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
+    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
+    </edges>
+    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
+    </edges>
+    <edges xmi:id="_JQZ08MdlEeGOoP2Ze98WBQ" type="Transition" element="_JQWKkMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_yZxDUPN1EeGld5XQj3v7aA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_JQacAcdlEeGOoP2Ze98WBQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_JQacAsdlEeGOoP2Ze98WBQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_JQacA8dlEeGOoP2Ze98WBQ" x="-3" y="-40"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_JQZ08cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_JQacAMdlEeGOoP2Ze98WBQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_JQZ08sdlEeGOoP2Ze98WBQ" points="[10, 31, -53, -160]$[61, 186, -2, -5]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_JQeGYMdlEeGOoP2Ze98WBQ" id="(0.12179487179487179,0.005813953488372093)"/>
+    </edges>
+    <edges xmi:id="_54yZoPN1EeGld5XQj3v7aA" type="Transition" element="_54p2wPN1EeGld5XQj3v7aA" source="_0efUIPN1EeGld5XQj3v7aA" target="_4T9w4PN1EeGld5XQj3v7aA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_54yZpPN1EeGld5XQj3v7aA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_54yZpfN1EeGld5XQj3v7aA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_54zAsPN1EeGld5XQj3v7aA" x="26" y="9"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_54yZofN1EeGld5XQj3v7aA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_54yZo_N1EeGld5XQj3v7aA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_54yZovN1EeGld5XQj3v7aA" points="[12, -1, -143, 21]$[155, 2, 0, 24]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_549_0PN1EeGld5XQj3v7aA" id="(0.8125,0.4716981132075472)"/>
+    </edges>
+    <edges xmi:id="_NVCW8PN2EeGld5XQj3v7aA" type="Transition" element="_NU9ecPN2EeGld5XQj3v7aA" source="_Mtw7kPN2EeGld5XQj3v7aA" target="_0efUIPN1EeGld5XQj3v7aA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_NVCW9PN2EeGld5XQj3v7aA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_NVCW9fN2EeGld5XQj3v7aA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_NVCW9vN2EeGld5XQj3v7aA" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_NVCW8fN2EeGld5XQj3v7aA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_NVCW8_N2EeGld5XQj3v7aA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_NVCW8vN2EeGld5XQj3v7aA" points="[7, 0, -33, 4]$[42, -17, 2, -13]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NVHPcPN2EeGld5XQj3v7aA" id="(0.203125,0.2830188679245283)"/>
+    </edges>
+    <edges xmi:id="_BvRAkHIQEeKt7LlJCM3PJg" type="Transition" element="_BvOkUHIQEeKt7LlJCM3PJg" source="_4T9w4PN1EeGld5XQj3v7aA" target="_AmpLoHIQEeKt7LlJCM3PJg">
+      <children xsi:type="notation:DecorationNode" xmi:id="_BvRnoHIQEeKt7LlJCM3PJg" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_BvRnoXIQEeKt7LlJCM3PJg"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_BvRnonIQEeKt7LlJCM3PJg" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_BvRAkXIQEeKt7LlJCM3PJg" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_BvRAk3IQEeKt7LlJCM3PJg" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_BvRAknIQEeKt7LlJCM3PJg" points="[18, -1, -92, -6]$[113, -21, 3, -26]"/>
+    </edges>
+    <edges xmi:id="_kX7a4GUUEeahpbK9gQLFbQ" type="Transition" element="_kX5lsGUUEeahpbK9gQLFbQ" source="_AmpLoHIQEeKt7LlJCM3PJg" target="_jn66QGUUEeahpbK9gQLFbQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_kX7a5GUUEeahpbK9gQLFbQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_kX7a5WUUEeahpbK9gQLFbQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_kX7a5mUUEeahpbK9gQLFbQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_kX7a4WUUEeahpbK9gQLFbQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_kX7a42UUEeahpbK9gQLFbQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kX7a4mUUEeahpbK9gQLFbQ" points="[18, -2, -102, 2]$[121, -18, 1, -14]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kX9QEGUUEeahpbK9gQLFbQ" id="(0.1,0.3018867924528302)"/>
+    </edges>
+    <edges xmi:id="_l-BO8GUUEeahpbK9gQLFbQ" type="Transition" element="_l-AA0GUUEeahpbK9gQLFbQ" source="_AmpLoHIQEeKt7LlJCM3PJg" target="_jn66QGUUEeahpbK9gQLFbQ">
+      <children xsi:type="notation:DecorationNode" xmi:id="_l-BO9GUUEeahpbK9gQLFbQ" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_l-BO9WUUEeahpbK9gQLFbQ"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_l-BO9mUUEeahpbK9gQLFbQ" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_l-BO8WUUEeahpbK9gQLFbQ" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_l-BO82UUEeahpbK9gQLFbQ" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_l-BO8mUUEeahpbK9gQLFbQ" points="[22, 10, -106, 4]$[129, 16, 1, 10]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_l-DEIGUUEeahpbK9gQLFbQ" id="(0.375,0.7924528301886793)"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_l-DEIWUUEeahpbK9gQLFbQ" id="(0.2,0.7924528301886793)"/>
+    </edges>
+  </notation:Diagram>
+</xmi:XMI>