diff --git a/modeling/testModelCheckerAvatar/testClocks.xml b/modeling/testModelCheckerAvatar/testClocks.xml
index df29f1537d3b2b790d0b1114d84674dc800fc382..0dd3021a29ca42ffe6b87f8ff4e93face237a9cf 100644
--- a/modeling/testModelCheckerAvatar/testClocks.xml
+++ b/modeling/testModelCheckerAvatar/testClocks.xml
@@ -853,11 +853,11 @@
<extraparam>
<isd value="in receive(int x)" />
<oso value="out send(int x)" />
-<FIFOType asynchronous="false" size="1" blocking="false" private="true" broadcast="false" lossy="false" />
+<FIFOType asynchronous="true" size="3" blocking="false" private="true" broadcast="false" lossy="false" />
</extraparam>
</CONNECTOR>
<COMPONENT type="5000" id="378" >
-<cdparam x="258" y="34" />
+<cdparam x="356" y="495" />
<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
@@ -1540,4 +1540,1833 @@
+<Modeling type="AVATAR Design" nameTab="GeneratedDesign" >
+<AVATARBlockDiagramPanel name="Block Diagram" minX="10" maxX="2500" minY="10" maxY="1500" >
+<MainCode value="void __user_init() {"/>
+<MainCode value="}"/>
+<Optimized value="true" />
+<Validated value="" />
+<Ignored value="" />
+
+<COMPONENT type="302" id="1976" >
+<cdparam x="1210" y="110" />
+<sizeparam width="255" height="58" minWidth="80" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="1210" maxX="2420" minY="110" maxY="220" />
+<infoparam name="Proverif Pragma" value="" />
+<TGConnectingPoint num="0" id="1977" />
+<TGConnectingPoint num="1" id="1978" />
+<TGConnectingPoint num="2" id="1979" />
+<TGConnectingPoint num="3" id="1980" />
+<TGConnectingPoint num="4" id="1981" />
+<TGConnectingPoint num="5" id="1982" />
+<TGConnectingPoint num="6" id="1983" />
+<TGConnectingPoint num="7" id="1984" />
+<TGConnectingPoint num="8" id="1985" />
+<TGConnectingPoint num="9" id="1986" />
+<TGConnectingPoint num="10" id="1987" />
+<TGConnectingPoint num="11" id="1988" />
+<TGConnectingPoint num="12" id="1989" />
+<TGConnectingPoint num="13" id="1990" />
+<TGConnectingPoint num="14" id="1991" />
+<TGConnectingPoint num="15" id="1992" />
+<extraparam>
+<Line value="" />
+</extraparam>
+</COMPONENT>
+
+<CONNECTOR type="5002" id="1974" >
+<cdparam x="0" y="0" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="" />
+<TGConnectingPoint num="0" id="1975" />
+<P1 x="789" y="598" id="1198" />
+<P2 x="1230" y="507" id="717" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<isd value="in receive()" />
+<oso value="out read()" />
+<FIFOType asynchronous="false" size="1024" blocking="false" private="true" broadcast="false" lossy="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="5002" id="1972" >
+<cdparam x="0" y="0" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="" />
+<TGConnectingPoint num="0" id="1973" />
+<P1 x="181" y="692" id="891" />
+<P2 x="664" y="598" id="1197" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<isd value="in write()" />
+<oso value="out send()" />
+<FIFOType asynchronous="false" size="1024" blocking="false" private="true" broadcast="false" lossy="false" />
+</extraparam>
+</CONNECTOR>
+<COMPONENT type="5000" id="1196" >
+<cdparam x="664" y="598" />
+<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="910" maxX="1820" minY="10" maxY="20" />
+<infoparam name="Block3" value="FIFO__send__receive__0" />
+<TGConnectingPoint num="0" id="1197" />
+<TGConnectingPoint num="1" id="1198" />
+<TGConnectingPoint num="2" id="1199" />
+<TGConnectingPoint num="3" id="1200" />
+<TGConnectingPoint num="4" id="1201" />
+<TGConnectingPoint num="5" id="1202" />
+<TGConnectingPoint num="6" id="1203" />
+<TGConnectingPoint num="7" id="1204" />
+<TGConnectingPoint num="8" id="1205" />
+<TGConnectingPoint num="9" id="1206" />
+<TGConnectingPoint num="10" id="1207" />
+<TGConnectingPoint num="11" id="1208" />
+<TGConnectingPoint num="12" id="1209" />
+<TGConnectingPoint num="13" id="1210" />
+<TGConnectingPoint num="14" id="1211" />
+<TGConnectingPoint num="15" id="1212" />
+<TGConnectingPoint num="16" id="1213" />
+<TGConnectingPoint num="17" id="1214" />
+<TGConnectingPoint num="18" id="1215" />
+<TGConnectingPoint num="19" id="1216" />
+<TGConnectingPoint num="20" id="1217" />
+<TGConnectingPoint num="21" id="1218" />
+<TGConnectingPoint num="22" id="1219" />
+<TGConnectingPoint num="23" id="1220" />
+<extraparam>
+<CryptoBlock value="false" />
+<Attribute access="0" id="arg__x__0" value="0" type="0" typeOther="" />
+<Attribute access="0" id="arg__x__1" value="0" type="0" typeOther="" />
+<Attribute access="0" id="arg__x__2" value="0" type="0" typeOther="" />
+<Attribute access="0" id="bucket__x" value="0" type="0" typeOther="" />
+<Attribute access="0" id="size" value="0" type="0" typeOther="" />
+<Attribute access="0" id="maxSize" value="0" type="0" typeOther="" />
+<Attribute access="0" id="head" value="0" type="0" typeOther="" />
+<Attribute access="0" id="tail" value="0" type="0" typeOther="" />
+<Signal value="in write()" />
+<Signal value="out read()" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5000" id="890" >
+<cdparam x="181" y="692" />
+<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="610" maxX="1220" minY="10" maxY="20" />
+<infoparam name="Block0" value="Block0" />
+<TGConnectingPoint num="0" id="891" />
+<TGConnectingPoint num="1" id="892" />
+<TGConnectingPoint num="2" id="893" />
+<TGConnectingPoint num="3" id="894" />
+<TGConnectingPoint num="4" id="895" />
+<TGConnectingPoint num="5" id="896" />
+<TGConnectingPoint num="6" id="897" />
+<TGConnectingPoint num="7" id="898" />
+<TGConnectingPoint num="8" id="899" />
+<TGConnectingPoint num="9" id="900" />
+<TGConnectingPoint num="10" id="901" />
+<TGConnectingPoint num="11" id="902" />
+<TGConnectingPoint num="12" id="903" />
+<TGConnectingPoint num="13" id="904" />
+<TGConnectingPoint num="14" id="905" />
+<TGConnectingPoint num="15" id="906" />
+<TGConnectingPoint num="16" id="907" />
+<TGConnectingPoint num="17" id="908" />
+<TGConnectingPoint num="18" id="909" />
+<TGConnectingPoint num="19" id="910" />
+<TGConnectingPoint num="20" id="911" />
+<TGConnectingPoint num="21" id="912" />
+<TGConnectingPoint num="22" id="913" />
+<TGConnectingPoint num="23" id="914" />
+<extraparam>
+<CryptoBlock value="false" />
+<Attribute access="0" id="x" value="0" type="0" typeOther="" />
+<Signal value="out send()" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5000" id="716" >
+<cdparam x="1230" y="507" />
+<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="310" maxX="620" minY="10" maxY="20" />
+<infoparam name="Block0" value="Block1" />
+<TGConnectingPoint num="0" id="717" />
+<TGConnectingPoint num="1" id="718" />
+<TGConnectingPoint num="2" id="719" />
+<TGConnectingPoint num="3" id="720" />
+<TGConnectingPoint num="4" id="721" />
+<TGConnectingPoint num="5" id="722" />
+<TGConnectingPoint num="6" id="723" />
+<TGConnectingPoint num="7" id="724" />
+<TGConnectingPoint num="8" id="725" />
+<TGConnectingPoint num="9" id="726" />
+<TGConnectingPoint num="10" id="727" />
+<TGConnectingPoint num="11" id="728" />
+<TGConnectingPoint num="12" id="729" />
+<TGConnectingPoint num="13" id="730" />
+<TGConnectingPoint num="14" id="731" />
+<TGConnectingPoint num="15" id="732" />
+<TGConnectingPoint num="16" id="733" />
+<TGConnectingPoint num="17" id="734" />
+<TGConnectingPoint num="18" id="735" />
+<TGConnectingPoint num="19" id="736" />
+<TGConnectingPoint num="20" id="737" />
+<TGConnectingPoint num="21" id="738" />
+<TGConnectingPoint num="22" id="739" />
+<TGConnectingPoint num="23" id="740" />
+<extraparam>
+<CryptoBlock value="false" />
+<Attribute access="0" id="x" value="0" type="0" typeOther="" />
+<Signal value="in receive()" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5000" id="669" >
+<cdparam x="10" y="10" />
+<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="20" minY="10" maxY="20" />
+<infoparam name="Block0" value="Block2" />
+<TGConnectingPoint num="0" id="670" />
+<TGConnectingPoint num="1" id="671" />
+<TGConnectingPoint num="2" id="672" />
+<TGConnectingPoint num="3" id="673" />
+<TGConnectingPoint num="4" id="674" />
+<TGConnectingPoint num="5" id="675" />
+<TGConnectingPoint num="6" id="676" />
+<TGConnectingPoint num="7" id="677" />
+<TGConnectingPoint num="8" id="678" />
+<TGConnectingPoint num="9" id="679" />
+<TGConnectingPoint num="10" id="680" />
+<TGConnectingPoint num="11" id="681" />
+<TGConnectingPoint num="12" id="682" />
+<TGConnectingPoint num="13" id="683" />
+<TGConnectingPoint num="14" id="684" />
+<TGConnectingPoint num="15" id="685" />
+<TGConnectingPoint num="16" id="686" />
+<TGConnectingPoint num="17" id="687" />
+<TGConnectingPoint num="18" id="688" />
+<TGConnectingPoint num="19" id="689" />
+<TGConnectingPoint num="20" id="690" />
+<TGConnectingPoint num="21" id="691" />
+<TGConnectingPoint num="22" id="692" />
+<TGConnectingPoint num="23" id="693" />
+<extraparam>
+<CryptoBlock value="false" />
+</extraparam>
+</COMPONENT>
+
+
+</AVATARBlockDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="Block2" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="5102" id="709" >
+<cdparam x="407" y="60" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="710" />
+<P1 x="407" y="60" id="700" />
+<P2 x="410" y="135" id="708" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="711" >
+<father id="709" num="0" />
+<cdparam x="407" y="100" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="712" />
+<TGConnectingPoint num="1" id="713" />
+<TGConnectingPoint num="2" id="714" />
+<TGConnectingPoint num="3" id="715" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="5101" id="707" >
+<cdparam x="400" y="140" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="140" maxY="280" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="708" />
+</COMPONENT>
+
+<COMPONENT type="5100" id="699" >
+<cdparam x="400" y="40" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="40" maxY="80" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="700" />
+</COMPONENT>
+
+
+</AVATARStateMachineDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="Block1" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="5102" id="883" >
+<cdparam x="450" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="884" />
+<P1 x="450" y="190" id="761" />
+<P2 x="415" y="235" id="802" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="885" >
+<father id="883" num="0" />
+<cdparam x="450" y="230" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="886" />
+<TGConnectingPoint num="1" id="887" />
+<TGConnectingPoint num="2" id="888" />
+<TGConnectingPoint num="3" id="889" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="876" >
+<cdparam x="415" y="265" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="877" />
+<P1 x="415" y="265" id="803" />
+<P2 x="450" y="340" id="820" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="878" >
+<father id="876" num="0" />
+<cdparam x="415" y="305" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="879" />
+<TGConnectingPoint num="1" id="880" />
+<TGConnectingPoint num="2" id="881" />
+<TGConnectingPoint num="3" id="882" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="869" >
+<cdparam x="407" y="60" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="870" />
+<P1 x="407" y="60" id="747" />
+<P2 x="450" y="140" id="756" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="871" >
+<father id="869" num="0" />
+<cdparam x="407" y="100" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="872" />
+<TGConnectingPoint num="1" id="873" />
+<TGConnectingPoint num="2" id="874" />
+<TGConnectingPoint num="3" id="875" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="862" >
+<cdparam x="450" y="390" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="863" />
+<P1 x="450" y="390" id="825" />
+<P2 x="500" y="165" id="759" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="864" >
+<father id="862" num="0" />
+<cdparam x="450" y="430" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="865" />
+<TGConnectingPoint num="1" id="866" />
+<TGConnectingPoint num="2" id="867" />
+<TGConnectingPoint num="3" id="868" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="x = 0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="5106" id="818" >
+<cdparam x="400" y="340" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="340" maxY="680" />
+<infoparam name="State" value="IntermediateState__0" />
+<TGConnectingPoint num="0" id="819" />
+<TGConnectingPoint num="1" id="820" />
+<TGConnectingPoint num="2" id="821" />
+<TGConnectingPoint num="3" id="822" />
+<TGConnectingPoint num="4" id="823" />
+<TGConnectingPoint num="5" id="824" />
+<TGConnectingPoint num="6" id="825" />
+<TGConnectingPoint num="7" id="826" />
+<TGConnectingPoint num="8" id="827" />
+<TGConnectingPoint num="9" id="828" />
+<TGConnectingPoint num="10" id="829" />
+<TGConnectingPoint num="11" id="830" />
+<TGConnectingPoint num="12" id="831" />
+<TGConnectingPoint num="13" id="832" />
+<TGConnectingPoint num="14" id="833" />
+<TGConnectingPoint num="15" id="834" />
+<TGConnectingPoint num="16" id="835" />
+<TGConnectingPoint num="17" id="836" />
+<TGConnectingPoint num="18" id="837" />
+<TGConnectingPoint num="19" id="838" />
+<TGConnectingPoint num="20" id="839" />
+<TGConnectingPoint num="21" id="840" />
+<TGConnectingPoint num="22" id="841" />
+<TGConnectingPoint num="23" id="842" />
+<TGConnectingPoint num="24" id="843" />
+<TGConnectingPoint num="25" id="844" />
+<TGConnectingPoint num="26" id="845" />
+<TGConnectingPoint num="27" id="846" />
+<TGConnectingPoint num="28" id="847" />
+<TGConnectingPoint num="29" id="848" />
+<TGConnectingPoint num="30" id="849" />
+<TGConnectingPoint num="31" id="850" />
+<TGConnectingPoint num="32" id="851" />
+<TGConnectingPoint num="33" id="852" />
+<TGConnectingPoint num="34" id="853" />
+<TGConnectingPoint num="35" id="854" />
+<TGConnectingPoint num="36" id="855" />
+<TGConnectingPoint num="37" id="856" />
+<TGConnectingPoint num="38" id="857" />
+<TGConnectingPoint num="39" id="858" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5104" id="801" >
+<cdparam x="400" y="240" />
+<sizeparam width="30" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="240" maxY="480" />
+<infoparam name="Receive signal" value="receive()" />
+<TGConnectingPoint num="0" id="802" />
+<TGConnectingPoint num="1" id="803" />
+<TGConnectingPoint num="2" id="804" />
+<TGConnectingPoint num="3" id="805" />
+<TGConnectingPoint num="4" id="806" />
+<TGConnectingPoint num="5" id="807" />
+<TGConnectingPoint num="6" id="808" />
+<TGConnectingPoint num="7" id="809" />
+<TGConnectingPoint num="8" id="810" />
+<TGConnectingPoint num="9" id="811" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="754" >
+<cdparam x="400" y="140" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="140" maxY="280" />
+<infoparam name="State" value="Main" />
+<TGConnectingPoint num="0" id="755" />
+<TGConnectingPoint num="1" id="756" />
+<TGConnectingPoint num="2" id="757" />
+<TGConnectingPoint num="3" id="758" />
+<TGConnectingPoint num="4" id="759" />
+<TGConnectingPoint num="5" id="760" />
+<TGConnectingPoint num="6" id="761" />
+<TGConnectingPoint num="7" id="762" />
+<TGConnectingPoint num="8" id="763" />
+<TGConnectingPoint num="9" id="764" />
+<TGConnectingPoint num="10" id="765" />
+<TGConnectingPoint num="11" id="766" />
+<TGConnectingPoint num="12" id="767" />
+<TGConnectingPoint num="13" id="768" />
+<TGConnectingPoint num="14" id="769" />
+<TGConnectingPoint num="15" id="770" />
+<TGConnectingPoint num="16" id="771" />
+<TGConnectingPoint num="17" id="772" />
+<TGConnectingPoint num="18" id="773" />
+<TGConnectingPoint num="19" id="774" />
+<TGConnectingPoint num="20" id="775" />
+<TGConnectingPoint num="21" id="776" />
+<TGConnectingPoint num="22" id="777" />
+<TGConnectingPoint num="23" id="778" />
+<TGConnectingPoint num="24" id="779" />
+<TGConnectingPoint num="25" id="780" />
+<TGConnectingPoint num="26" id="781" />
+<TGConnectingPoint num="27" id="782" />
+<TGConnectingPoint num="28" id="783" />
+<TGConnectingPoint num="29" id="784" />
+<TGConnectingPoint num="30" id="785" />
+<TGConnectingPoint num="31" id="786" />
+<TGConnectingPoint num="32" id="787" />
+<TGConnectingPoint num="33" id="788" />
+<TGConnectingPoint num="34" id="789" />
+<TGConnectingPoint num="35" id="790" />
+<TGConnectingPoint num="36" id="791" />
+<TGConnectingPoint num="37" id="792" />
+<TGConnectingPoint num="38" id="793" />
+<TGConnectingPoint num="39" id="794" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5100" id="746" >
+<cdparam x="400" y="40" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="40" maxY="80" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="747" />
+</COMPONENT>
+
+
+</AVATARStateMachineDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="FIFO__send__receive__0" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="5102" id="1965" >
+<cdparam x="650" y="390" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1966" />
+<P1 x="650" y="390" id="1693" />
+<P2 x="537" y="440" id="1634" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1967" >
+<father id="1965" num="0" />
+<cdparam x="650" y="430" />
+<sizeparam width="74" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1968" />
+<TGConnectingPoint num="1" id="1969" />
+<TGConnectingPoint num="2" id="1970" />
+<TGConnectingPoint num="3" id="1971" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="tail = tail+1" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1958" >
+<cdparam x="315" y="265" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1959" />
+<P1 x="315" y="265" id="1467" />
+<P2 x="350" y="340" id="1484" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1960" >
+<father id="1958" num="0" />
+<cdparam x="315" y="305" />
+<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1961" />
+<TGConnectingPoint num="1" id="1962" />
+<TGConnectingPoint num="2" id="1963" />
+<TGConnectingPoint num="3" id="1964" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1951" >
+<cdparam x="250" y="390" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1952" />
+<P1 x="250" y="390" id="1422" />
+<P2 x="137" y="440" id="1363" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1953" >
+<father id="1951" num="0" />
+<cdparam x="250" y="430" />
+<sizeparam width="100" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1954" />
+<TGConnectingPoint num="1" id="1955" />
+<TGConnectingPoint num="2" id="1956" />
+<TGConnectingPoint num="3" id="1957" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="head = head+1" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1944" >
+<cdparam x="412" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1945" />
+<P1 x="412" y="190" id="1263" />
+<P2 x="415" y="235" id="1533" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1946" >
+<father id="1944" num="0" />
+<cdparam x="438" y="232" />
+<sizeparam width="110" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1947" />
+<TGConnectingPoint num="1" id="1948" />
+<TGConnectingPoint num="2" id="1949" />
+<TGConnectingPoint num="3" id="1950" />
+<extraparam>
+<guard value="(size == maxSize)" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1937" >
+<cdparam x="487" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1938" />
+<P1 x="487" y="190" id="1266" />
+<P2 x="115" y="235" id="1282" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1939" >
+<father id="1937" num="0" />
+<cdparam x="115" y="198" />
+<sizeparam width="190" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1940" />
+<TGConnectingPoint num="1" id="1941" />
+<TGConnectingPoint num="2" id="1942" />
+<TGConnectingPoint num="3" id="1943" />
+<extraparam>
+<guard value="(size<maxSize)&&(head == 0)" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1930" >
+<cdparam x="215" y="265" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1931" />
+<P1 x="215" y="265" id="1400" />
+<P2 x="250" y="340" id="1417" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1932" >
+<father id="1930" num="0" />
+<cdparam x="215" y="305" />
+<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1933" />
+<TGConnectingPoint num="1" id="1934" />
+<TGConnectingPoint num="2" id="1935" />
+<TGConnectingPoint num="3" id="1936" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1923" >
+<cdparam x="750" y="390" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1924" />
+<P1 x="797" y="390" id="1760" />
+<P2 x="562" y="440" id="1635" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1925" >
+<father id="1923" num="0" />
+<cdparam x="750" y="430" />
+<sizeparam width="74" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1926" />
+<TGConnectingPoint num="1" id="1927" />
+<TGConnectingPoint num="2" id="1928" />
+<TGConnectingPoint num="3" id="1929" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="tail = tail+1" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1916" >
+<cdparam x="407" y="60" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1917" />
+<P1 x="407" y="60" id="1227" />
+<P2 x="450" y="140" id="1236" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1918" >
+<father id="1916" num="0" />
+<cdparam x="407" y="100" />
+<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1919" />
+<TGConnectingPoint num="1" id="1920" />
+<TGConnectingPoint num="2" id="1921" />
+<TGConnectingPoint num="3" id="1922" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1909" >
+<cdparam x="562" y="490" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1910" />
+<P1 x="562" y="490" id="1647" />
+<P2 x="500" y="158" id="1258" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1911" >
+<father id="1909" num="0" />
+<cdparam x="562" y="530" />
+<sizeparam width="96" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1912" />
+<TGConnectingPoint num="1" id="1913" />
+<TGConnectingPoint num="2" id="1914" />
+<TGConnectingPoint num="3" id="1915" />
+<extraparam>
+<guard value="tail == maxSize" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="tail = 0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1902" >
+<cdparam x="475" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1903" />
+<P1 x="475" y="190" id="1250" />
+<P2 x="215" y="235" id="1399" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1904" >
+<father id="1902" num="0" />
+<cdparam x="475" y="230" />
+<sizeparam width="190" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1905" />
+<TGConnectingPoint num="1" id="1906" />
+<TGConnectingPoint num="2" id="1907" />
+<TGConnectingPoint num="3" id="1908" />
+<extraparam>
+<guard value="(size<maxSize)&&(head == 1)" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1895" >
+<cdparam x="550" y="390" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1896" />
+<P1 x="550" y="390" id="1576" />
+<P2 x="550" y="440" id="1618" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1897" >
+<father id="1895" num="0" />
+<cdparam x="550" y="430" />
+<sizeparam width="74" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1898" />
+<TGConnectingPoint num="1" id="1899" />
+<TGConnectingPoint num="2" id="1900" />
+<TGConnectingPoint num="3" id="1901" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="tail = tail+1" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1888" >
+<cdparam x="425" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1889" />
+<P1 x="425" y="190" id="1249" />
+<P2 x="515" y="235" id="1553" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1890" >
+<father id="1888" num="0" />
+<cdparam x="425" y="230" />
+<sizeparam width="136" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1891" />
+<TGConnectingPoint num="1" id="1892" />
+<TGConnectingPoint num="2" id="1893" />
+<TGConnectingPoint num="3" id="1894" />
+<extraparam>
+<guard value="(size>0)&&(tail == 0)" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1881" >
+<cdparam x="437" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1882" />
+<P1 x="437" y="190" id="1264" />
+<P2 x="315" y="235" id="1466" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1883" >
+<father id="1881" num="0" />
+<cdparam x="437" y="230" />
+<sizeparam width="190" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1884" />
+<TGConnectingPoint num="1" id="1885" />
+<TGConnectingPoint num="2" id="1886" />
+<TGConnectingPoint num="3" id="1887" />
+<extraparam>
+<guard value="(size<maxSize)&&(head == 2)" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1874" >
+<cdparam x="162" y="490" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1875" />
+<P1 x="162" y="490" id="1376" />
+<P2 x="400" y="171" id="1259" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1876" >
+<father id="1874" num="0" />
+<cdparam x="162" y="530" />
+<sizeparam width="109" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1877" />
+<TGConnectingPoint num="1" id="1878" />
+<TGConnectingPoint num="2" id="1879" />
+<TGConnectingPoint num="3" id="1880" />
+<extraparam>
+<guard value="head == maxSize" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="head = 0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1867" >
+<cdparam x="462" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1868" />
+<P1 x="462" y="190" id="1265" />
+<P2 x="615" y="235" id="1670" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1869" >
+<father id="1867" num="0" />
+<cdparam x="462" y="230" />
+<sizeparam width="136" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1870" />
+<TGConnectingPoint num="1" id="1871" />
+<TGConnectingPoint num="2" id="1872" />
+<TGConnectingPoint num="3" id="1873" />
+<extraparam>
+<guard value="(size>0)&&(tail == 1)" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1860" >
+<cdparam x="615" y="265" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1861" />
+<P1 x="615" y="265" id="1671" />
+<P2 x="650" y="340" id="1688" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1862" >
+<father id="1860" num="0" />
+<cdparam x="615" y="305" />
+<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1863" />
+<TGConnectingPoint num="1" id="1864" />
+<TGConnectingPoint num="2" id="1865" />
+<TGConnectingPoint num="3" id="1866" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1853" >
+<cdparam x="150" y="490" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1854" />
+<P1 x="150" y="490" id="1352" />
+<P2 x="400" y="165" id="1238" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1855" >
+<father id="1853" num="0" />
+<cdparam x="150" y="530" />
+<sizeparam width="91" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1856" />
+<TGConnectingPoint num="1" id="1857" />
+<TGConnectingPoint num="2" id="1858" />
+<TGConnectingPoint num="3" id="1859" />
+<extraparam>
+<guard value="head<maxSize" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1846" >
+<cdparam x="115" y="265" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1847" />
+<P1 x="115" y="265" id="1283" />
+<P2 x="150" y="340" id="1300" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1848" >
+<father id="1846" num="0" />
+<cdparam x="115" y="305" />
+<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1849" />
+<TGConnectingPoint num="1" id="1850" />
+<TGConnectingPoint num="2" id="1851" />
+<TGConnectingPoint num="3" id="1852" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1839" >
+<cdparam x="150" y="390" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1840" />
+<P1 x="150" y="390" id="1305" />
+<P2 x="162" y="440" id="1364" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1841" >
+<father id="1839" num="0" />
+<cdparam x="150" y="430" />
+<sizeparam width="100" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1842" />
+<TGConnectingPoint num="1" id="1843" />
+<TGConnectingPoint num="2" id="1844" />
+<TGConnectingPoint num="3" id="1845" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="head = head+1" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1832" >
+<cdparam x="450" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1833" />
+<P1 x="450" y="190" id="1241" />
+<P2 x="715" y="235" id="1737" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1834" >
+<father id="1832" num="0" />
+<cdparam x="450" y="230" />
+<sizeparam width="136" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1835" />
+<TGConnectingPoint num="1" id="1836" />
+<TGConnectingPoint num="2" id="1837" />
+<TGConnectingPoint num="3" id="1838" />
+<extraparam>
+<guard value="(size>0)&&(tail == 2)" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1825" >
+<cdparam x="715" y="265" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1826" />
+<P1 x="715" y="265" id="1738" />
+<P2 x="797" y="340" id="1755" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1827" >
+<father id="1825" num="0" />
+<cdparam x="715" y="305" />
+<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1828" />
+<TGConnectingPoint num="1" id="1829" />
+<TGConnectingPoint num="2" id="1830" />
+<TGConnectingPoint num="3" id="1831" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1818" >
+<cdparam x="415" y="265" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1819" />
+<P1 x="415" y="265" id="1534" />
+<P2 x="500" y="171" id="1261" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1820" >
+<father id="1818" num="0" />
+<cdparam x="415" y="305" />
+<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1821" />
+<TGConnectingPoint num="1" id="1822" />
+<TGConnectingPoint num="2" id="1823" />
+<TGConnectingPoint num="3" id="1824" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1811" >
+<cdparam x="515" y="265" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1812" />
+<P1 x="515" y="265" id="1554" />
+<P2 x="550" y="340" id="1571" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1813" >
+<father id="1811" num="0" />
+<cdparam x="515" y="305" />
+<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1814" />
+<TGConnectingPoint num="1" id="1815" />
+<TGConnectingPoint num="2" id="1816" />
+<TGConnectingPoint num="3" id="1817" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1804" >
+<cdparam x="550" y="490" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1805" />
+<P1 x="550" y="490" id="1623" />
+<P2 x="500" y="165" id="1239" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1806" >
+<father id="1804" num="0" />
+<cdparam x="550" y="530" />
+<sizeparam width="78" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1807" />
+<TGConnectingPoint num="1" id="1808" />
+<TGConnectingPoint num="2" id="1809" />
+<TGConnectingPoint num="3" id="1810" />
+<extraparam>
+<guard value="tail<maxSize" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1797" >
+<cdparam x="350" y="390" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<TGConnectingPoint num="0" id="1798" />
+<P1 x="350" y="390" id="1489" />
+<P2 x="150" y="440" id="1347" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1799" >
+<father id="1797" num="0" />
+<cdparam x="350" y="430" />
+<sizeparam width="100" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="List of all parameters of an Avatar SMD transition" value="" />
+<TGConnectingPoint num="0" id="1800" />
+<TGConnectingPoint num="1" id="1801" />
+<TGConnectingPoint num="2" id="1802" />
+<TGConnectingPoint num="3" id="1803" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="head = head+1" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="5106" id="1753" >
+<cdparam x="700" y="340" />
+<sizeparam width="195" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="700" maxX="1400" minY="340" maxY="680" />
+<infoparam name="State" value="IntermediateState__5" />
+<TGConnectingPoint num="0" id="1754" />
+<TGConnectingPoint num="1" id="1755" />
+<TGConnectingPoint num="2" id="1756" />
+<TGConnectingPoint num="3" id="1757" />
+<TGConnectingPoint num="4" id="1758" />
+<TGConnectingPoint num="5" id="1759" />
+<TGConnectingPoint num="6" id="1760" />
+<TGConnectingPoint num="7" id="1761" />
+<TGConnectingPoint num="8" id="1762" />
+<TGConnectingPoint num="9" id="1763" />
+<TGConnectingPoint num="10" id="1764" />
+<TGConnectingPoint num="11" id="1765" />
+<TGConnectingPoint num="12" id="1766" />
+<TGConnectingPoint num="13" id="1767" />
+<TGConnectingPoint num="14" id="1768" />
+<TGConnectingPoint num="15" id="1769" />
+<TGConnectingPoint num="16" id="1770" />
+<TGConnectingPoint num="17" id="1771" />
+<TGConnectingPoint num="18" id="1772" />
+<TGConnectingPoint num="19" id="1773" />
+<TGConnectingPoint num="20" id="1774" />
+<TGConnectingPoint num="21" id="1775" />
+<TGConnectingPoint num="22" id="1776" />
+<TGConnectingPoint num="23" id="1777" />
+<TGConnectingPoint num="24" id="1778" />
+<TGConnectingPoint num="25" id="1779" />
+<TGConnectingPoint num="26" id="1780" />
+<TGConnectingPoint num="27" id="1781" />
+<TGConnectingPoint num="28" id="1782" />
+<TGConnectingPoint num="29" id="1783" />
+<TGConnectingPoint num="30" id="1784" />
+<TGConnectingPoint num="31" id="1785" />
+<TGConnectingPoint num="32" id="1786" />
+<TGConnectingPoint num="33" id="1787" />
+<TGConnectingPoint num="34" id="1788" />
+<TGConnectingPoint num="35" id="1789" />
+<TGConnectingPoint num="36" id="1790" />
+<TGConnectingPoint num="37" id="1791" />
+<TGConnectingPoint num="38" id="1792" />
+<TGConnectingPoint num="39" id="1793" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5103" id="1736" >
+<cdparam x="691" y="240" />
+<sizeparam width="49" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="700" maxX="1400" minY="240" maxY="480" />
+<infoparam name="Send signal" value="read()" />
+<TGConnectingPoint num="0" id="1737" />
+<TGConnectingPoint num="1" id="1738" />
+<TGConnectingPoint num="2" id="1739" />
+<TGConnectingPoint num="3" id="1740" />
+<TGConnectingPoint num="4" id="1741" />
+<TGConnectingPoint num="5" id="1742" />
+<TGConnectingPoint num="6" id="1743" />
+<TGConnectingPoint num="7" id="1744" />
+<TGConnectingPoint num="8" id="1745" />
+<TGConnectingPoint num="9" id="1746" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="1686" >
+<cdparam x="600" y="340" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="600" maxX="1200" minY="340" maxY="680" />
+<infoparam name="State" value="IntermediateState__4" />
+<TGConnectingPoint num="0" id="1687" />
+<TGConnectingPoint num="1" id="1688" />
+<TGConnectingPoint num="2" id="1689" />
+<TGConnectingPoint num="3" id="1690" />
+<TGConnectingPoint num="4" id="1691" />
+<TGConnectingPoint num="5" id="1692" />
+<TGConnectingPoint num="6" id="1693" />
+<TGConnectingPoint num="7" id="1694" />
+<TGConnectingPoint num="8" id="1695" />
+<TGConnectingPoint num="9" id="1696" />
+<TGConnectingPoint num="10" id="1697" />
+<TGConnectingPoint num="11" id="1698" />
+<TGConnectingPoint num="12" id="1699" />
+<TGConnectingPoint num="13" id="1700" />
+<TGConnectingPoint num="14" id="1701" />
+<TGConnectingPoint num="15" id="1702" />
+<TGConnectingPoint num="16" id="1703" />
+<TGConnectingPoint num="17" id="1704" />
+<TGConnectingPoint num="18" id="1705" />
+<TGConnectingPoint num="19" id="1706" />
+<TGConnectingPoint num="20" id="1707" />
+<TGConnectingPoint num="21" id="1708" />
+<TGConnectingPoint num="22" id="1709" />
+<TGConnectingPoint num="23" id="1710" />
+<TGConnectingPoint num="24" id="1711" />
+<TGConnectingPoint num="25" id="1712" />
+<TGConnectingPoint num="26" id="1713" />
+<TGConnectingPoint num="27" id="1714" />
+<TGConnectingPoint num="28" id="1715" />
+<TGConnectingPoint num="29" id="1716" />
+<TGConnectingPoint num="30" id="1717" />
+<TGConnectingPoint num="31" id="1718" />
+<TGConnectingPoint num="32" id="1719" />
+<TGConnectingPoint num="33" id="1720" />
+<TGConnectingPoint num="34" id="1721" />
+<TGConnectingPoint num="35" id="1722" />
+<TGConnectingPoint num="36" id="1723" />
+<TGConnectingPoint num="37" id="1724" />
+<TGConnectingPoint num="38" id="1725" />
+<TGConnectingPoint num="39" id="1726" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5103" id="1669" >
+<cdparam x="591" y="240" />
+<sizeparam width="49" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="600" maxX="1200" minY="240" maxY="480" />
+<infoparam name="Send signal" value="read()" />
+<TGConnectingPoint num="0" id="1670" />
+<TGConnectingPoint num="1" id="1671" />
+<TGConnectingPoint num="2" id="1672" />
+<TGConnectingPoint num="3" id="1673" />
+<TGConnectingPoint num="4" id="1674" />
+<TGConnectingPoint num="5" id="1675" />
+<TGConnectingPoint num="6" id="1676" />
+<TGConnectingPoint num="7" id="1677" />
+<TGConnectingPoint num="8" id="1678" />
+<TGConnectingPoint num="9" id="1679" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="1616" >
+<cdparam x="500" y="440" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="500" maxX="1000" minY="440" maxY="880" />
+<infoparam name="State" value="testTail" />
+<TGConnectingPoint num="0" id="1617" />
+<TGConnectingPoint num="1" id="1618" />
+<TGConnectingPoint num="2" id="1619" />
+<TGConnectingPoint num="3" id="1620" />
+<TGConnectingPoint num="4" id="1621" />
+<TGConnectingPoint num="5" id="1622" />
+<TGConnectingPoint num="6" id="1623" />
+<TGConnectingPoint num="7" id="1624" />
+<TGConnectingPoint num="8" id="1625" />
+<TGConnectingPoint num="9" id="1626" />
+<TGConnectingPoint num="10" id="1627" />
+<TGConnectingPoint num="11" id="1628" />
+<TGConnectingPoint num="12" id="1629" />
+<TGConnectingPoint num="13" id="1630" />
+<TGConnectingPoint num="14" id="1631" />
+<TGConnectingPoint num="15" id="1632" />
+<TGConnectingPoint num="16" id="1633" />
+<TGConnectingPoint num="17" id="1634" />
+<TGConnectingPoint num="18" id="1635" />
+<TGConnectingPoint num="19" id="1636" />
+<TGConnectingPoint num="20" id="1637" />
+<TGConnectingPoint num="21" id="1638" />
+<TGConnectingPoint num="22" id="1639" />
+<TGConnectingPoint num="23" id="1640" />
+<TGConnectingPoint num="24" id="1641" />
+<TGConnectingPoint num="25" id="1642" />
+<TGConnectingPoint num="26" id="1643" />
+<TGConnectingPoint num="27" id="1644" />
+<TGConnectingPoint num="28" id="1645" />
+<TGConnectingPoint num="29" id="1646" />
+<TGConnectingPoint num="30" id="1647" />
+<TGConnectingPoint num="31" id="1648" />
+<TGConnectingPoint num="32" id="1649" />
+<TGConnectingPoint num="33" id="1650" />
+<TGConnectingPoint num="34" id="1651" />
+<TGConnectingPoint num="35" id="1652" />
+<TGConnectingPoint num="36" id="1653" />
+<TGConnectingPoint num="37" id="1654" />
+<TGConnectingPoint num="38" id="1655" />
+<TGConnectingPoint num="39" id="1656" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5106" id="1569" >
+<cdparam x="500" y="340" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="500" maxX="1000" minY="340" maxY="680" />
+<infoparam name="State" value="IntermediateState__3" />
+<TGConnectingPoint num="0" id="1570" />
+<TGConnectingPoint num="1" id="1571" />
+<TGConnectingPoint num="2" id="1572" />
+<TGConnectingPoint num="3" id="1573" />
+<TGConnectingPoint num="4" id="1574" />
+<TGConnectingPoint num="5" id="1575" />
+<TGConnectingPoint num="6" id="1576" />
+<TGConnectingPoint num="7" id="1577" />
+<TGConnectingPoint num="8" id="1578" />
+<TGConnectingPoint num="9" id="1579" />
+<TGConnectingPoint num="10" id="1580" />
+<TGConnectingPoint num="11" id="1581" />
+<TGConnectingPoint num="12" id="1582" />
+<TGConnectingPoint num="13" id="1583" />
+<TGConnectingPoint num="14" id="1584" />
+<TGConnectingPoint num="15" id="1585" />
+<TGConnectingPoint num="16" id="1586" />
+<TGConnectingPoint num="17" id="1587" />
+<TGConnectingPoint num="18" id="1588" />
+<TGConnectingPoint num="19" id="1589" />
+<TGConnectingPoint num="20" id="1590" />
+<TGConnectingPoint num="21" id="1591" />
+<TGConnectingPoint num="22" id="1592" />
+<TGConnectingPoint num="23" id="1593" />
+<TGConnectingPoint num="24" id="1594" />
+<TGConnectingPoint num="25" id="1595" />
+<TGConnectingPoint num="26" id="1596" />
+<TGConnectingPoint num="27" id="1597" />
+<TGConnectingPoint num="28" id="1598" />
+<TGConnectingPoint num="29" id="1599" />
+<TGConnectingPoint num="30" id="1600" />
+<TGConnectingPoint num="31" id="1601" />
+<TGConnectingPoint num="32" id="1602" />
+<TGConnectingPoint num="33" id="1603" />
+<TGConnectingPoint num="34" id="1604" />
+<TGConnectingPoint num="35" id="1605" />
+<TGConnectingPoint num="36" id="1606" />
+<TGConnectingPoint num="37" id="1607" />
+<TGConnectingPoint num="38" id="1608" />
+<TGConnectingPoint num="39" id="1609" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5103" id="1552" >
+<cdparam x="491" y="240" />
+<sizeparam width="49" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="500" maxX="1000" minY="240" maxY="480" />
+<infoparam name="Send signal" value="read()" />
+<TGConnectingPoint num="0" id="1553" />
+<TGConnectingPoint num="1" id="1554" />
+<TGConnectingPoint num="2" id="1555" />
+<TGConnectingPoint num="3" id="1556" />
+<TGConnectingPoint num="4" id="1557" />
+<TGConnectingPoint num="5" id="1558" />
+<TGConnectingPoint num="6" id="1559" />
+<TGConnectingPoint num="7" id="1560" />
+<TGConnectingPoint num="8" id="1561" />
+<TGConnectingPoint num="9" id="1562" />
+</COMPONENT>
+
+<COMPONENT type="5104" id="1532" >
+<cdparam x="386" y="240" />
+<sizeparam width="58" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="240" maxY="480" />
+<infoparam name="Receive signal" value="write()" />
+<TGConnectingPoint num="0" id="1533" />
+<TGConnectingPoint num="1" id="1534" />
+<TGConnectingPoint num="2" id="1535" />
+<TGConnectingPoint num="3" id="1536" />
+<TGConnectingPoint num="4" id="1537" />
+<TGConnectingPoint num="5" id="1538" />
+<TGConnectingPoint num="6" id="1539" />
+<TGConnectingPoint num="7" id="1540" />
+<TGConnectingPoint num="8" id="1541" />
+<TGConnectingPoint num="9" id="1542" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="1482" >
+<cdparam x="300" y="340" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="300" maxX="600" minY="340" maxY="680" />
+<infoparam name="State" value="IntermediateState__2" />
+<TGConnectingPoint num="0" id="1483" />
+<TGConnectingPoint num="1" id="1484" />
+<TGConnectingPoint num="2" id="1485" />
+<TGConnectingPoint num="3" id="1486" />
+<TGConnectingPoint num="4" id="1487" />
+<TGConnectingPoint num="5" id="1488" />
+<TGConnectingPoint num="6" id="1489" />
+<TGConnectingPoint num="7" id="1490" />
+<TGConnectingPoint num="8" id="1491" />
+<TGConnectingPoint num="9" id="1492" />
+<TGConnectingPoint num="10" id="1493" />
+<TGConnectingPoint num="11" id="1494" />
+<TGConnectingPoint num="12" id="1495" />
+<TGConnectingPoint num="13" id="1496" />
+<TGConnectingPoint num="14" id="1497" />
+<TGConnectingPoint num="15" id="1498" />
+<TGConnectingPoint num="16" id="1499" />
+<TGConnectingPoint num="17" id="1500" />
+<TGConnectingPoint num="18" id="1501" />
+<TGConnectingPoint num="19" id="1502" />
+<TGConnectingPoint num="20" id="1503" />
+<TGConnectingPoint num="21" id="1504" />
+<TGConnectingPoint num="22" id="1505" />
+<TGConnectingPoint num="23" id="1506" />
+<TGConnectingPoint num="24" id="1507" />
+<TGConnectingPoint num="25" id="1508" />
+<TGConnectingPoint num="26" id="1509" />
+<TGConnectingPoint num="27" id="1510" />
+<TGConnectingPoint num="28" id="1511" />
+<TGConnectingPoint num="29" id="1512" />
+<TGConnectingPoint num="30" id="1513" />
+<TGConnectingPoint num="31" id="1514" />
+<TGConnectingPoint num="32" id="1515" />
+<TGConnectingPoint num="33" id="1516" />
+<TGConnectingPoint num="34" id="1517" />
+<TGConnectingPoint num="35" id="1518" />
+<TGConnectingPoint num="36" id="1519" />
+<TGConnectingPoint num="37" id="1520" />
+<TGConnectingPoint num="38" id="1521" />
+<TGConnectingPoint num="39" id="1522" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5104" id="1465" >
+<cdparam x="286" y="240" />
+<sizeparam width="58" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="300" maxX="600" minY="240" maxY="480" />
+<infoparam name="Receive signal" value="write()" />
+<TGConnectingPoint num="0" id="1466" />
+<TGConnectingPoint num="1" id="1467" />
+<TGConnectingPoint num="2" id="1468" />
+<TGConnectingPoint num="3" id="1469" />
+<TGConnectingPoint num="4" id="1470" />
+<TGConnectingPoint num="5" id="1471" />
+<TGConnectingPoint num="6" id="1472" />
+<TGConnectingPoint num="7" id="1473" />
+<TGConnectingPoint num="8" id="1474" />
+<TGConnectingPoint num="9" id="1475" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="1415" >
+<cdparam x="200" y="340" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="200" maxX="400" minY="340" maxY="680" />
+<infoparam name="State" value="IntermediateState__1" />
+<TGConnectingPoint num="0" id="1416" />
+<TGConnectingPoint num="1" id="1417" />
+<TGConnectingPoint num="2" id="1418" />
+<TGConnectingPoint num="3" id="1419" />
+<TGConnectingPoint num="4" id="1420" />
+<TGConnectingPoint num="5" id="1421" />
+<TGConnectingPoint num="6" id="1422" />
+<TGConnectingPoint num="7" id="1423" />
+<TGConnectingPoint num="8" id="1424" />
+<TGConnectingPoint num="9" id="1425" />
+<TGConnectingPoint num="10" id="1426" />
+<TGConnectingPoint num="11" id="1427" />
+<TGConnectingPoint num="12" id="1428" />
+<TGConnectingPoint num="13" id="1429" />
+<TGConnectingPoint num="14" id="1430" />
+<TGConnectingPoint num="15" id="1431" />
+<TGConnectingPoint num="16" id="1432" />
+<TGConnectingPoint num="17" id="1433" />
+<TGConnectingPoint num="18" id="1434" />
+<TGConnectingPoint num="19" id="1435" />
+<TGConnectingPoint num="20" id="1436" />
+<TGConnectingPoint num="21" id="1437" />
+<TGConnectingPoint num="22" id="1438" />
+<TGConnectingPoint num="23" id="1439" />
+<TGConnectingPoint num="24" id="1440" />
+<TGConnectingPoint num="25" id="1441" />
+<TGConnectingPoint num="26" id="1442" />
+<TGConnectingPoint num="27" id="1443" />
+<TGConnectingPoint num="28" id="1444" />
+<TGConnectingPoint num="29" id="1445" />
+<TGConnectingPoint num="30" id="1446" />
+<TGConnectingPoint num="31" id="1447" />
+<TGConnectingPoint num="32" id="1448" />
+<TGConnectingPoint num="33" id="1449" />
+<TGConnectingPoint num="34" id="1450" />
+<TGConnectingPoint num="35" id="1451" />
+<TGConnectingPoint num="36" id="1452" />
+<TGConnectingPoint num="37" id="1453" />
+<TGConnectingPoint num="38" id="1454" />
+<TGConnectingPoint num="39" id="1455" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5104" id="1398" >
+<cdparam x="186" y="240" />
+<sizeparam width="58" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="200" maxX="400" minY="240" maxY="480" />
+<infoparam name="Receive signal" value="write()" />
+<TGConnectingPoint num="0" id="1399" />
+<TGConnectingPoint num="1" id="1400" />
+<TGConnectingPoint num="2" id="1401" />
+<TGConnectingPoint num="3" id="1402" />
+<TGConnectingPoint num="4" id="1403" />
+<TGConnectingPoint num="5" id="1404" />
+<TGConnectingPoint num="6" id="1405" />
+<TGConnectingPoint num="7" id="1406" />
+<TGConnectingPoint num="8" id="1407" />
+<TGConnectingPoint num="9" id="1408" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="1345" >
+<cdparam x="100" y="440" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="100" maxX="200" minY="440" maxY="880" />
+<infoparam name="State" value="testHead" />
+<TGConnectingPoint num="0" id="1346" />
+<TGConnectingPoint num="1" id="1347" />
+<TGConnectingPoint num="2" id="1348" />
+<TGConnectingPoint num="3" id="1349" />
+<TGConnectingPoint num="4" id="1350" />
+<TGConnectingPoint num="5" id="1351" />
+<TGConnectingPoint num="6" id="1352" />
+<TGConnectingPoint num="7" id="1353" />
+<TGConnectingPoint num="8" id="1354" />
+<TGConnectingPoint num="9" id="1355" />
+<TGConnectingPoint num="10" id="1356" />
+<TGConnectingPoint num="11" id="1357" />
+<TGConnectingPoint num="12" id="1358" />
+<TGConnectingPoint num="13" id="1359" />
+<TGConnectingPoint num="14" id="1360" />
+<TGConnectingPoint num="15" id="1361" />
+<TGConnectingPoint num="16" id="1362" />
+<TGConnectingPoint num="17" id="1363" />
+<TGConnectingPoint num="18" id="1364" />
+<TGConnectingPoint num="19" id="1365" />
+<TGConnectingPoint num="20" id="1366" />
+<TGConnectingPoint num="21" id="1367" />
+<TGConnectingPoint num="22" id="1368" />
+<TGConnectingPoint num="23" id="1369" />
+<TGConnectingPoint num="24" id="1370" />
+<TGConnectingPoint num="25" id="1371" />
+<TGConnectingPoint num="26" id="1372" />
+<TGConnectingPoint num="27" id="1373" />
+<TGConnectingPoint num="28" id="1374" />
+<TGConnectingPoint num="29" id="1375" />
+<TGConnectingPoint num="30" id="1376" />
+<TGConnectingPoint num="31" id="1377" />
+<TGConnectingPoint num="32" id="1378" />
+<TGConnectingPoint num="33" id="1379" />
+<TGConnectingPoint num="34" id="1380" />
+<TGConnectingPoint num="35" id="1381" />
+<TGConnectingPoint num="36" id="1382" />
+<TGConnectingPoint num="37" id="1383" />
+<TGConnectingPoint num="38" id="1384" />
+<TGConnectingPoint num="39" id="1385" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5106" id="1298" >
+<cdparam x="100" y="340" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="100" maxX="200" minY="340" maxY="680" />
+<infoparam name="State" value="IntermediateState__0" />
+<TGConnectingPoint num="0" id="1299" />
+<TGConnectingPoint num="1" id="1300" />
+<TGConnectingPoint num="2" id="1301" />
+<TGConnectingPoint num="3" id="1302" />
+<TGConnectingPoint num="4" id="1303" />
+<TGConnectingPoint num="5" id="1304" />
+<TGConnectingPoint num="6" id="1305" />
+<TGConnectingPoint num="7" id="1306" />
+<TGConnectingPoint num="8" id="1307" />
+<TGConnectingPoint num="9" id="1308" />
+<TGConnectingPoint num="10" id="1309" />
+<TGConnectingPoint num="11" id="1310" />
+<TGConnectingPoint num="12" id="1311" />
+<TGConnectingPoint num="13" id="1312" />
+<TGConnectingPoint num="14" id="1313" />
+<TGConnectingPoint num="15" id="1314" />
+<TGConnectingPoint num="16" id="1315" />
+<TGConnectingPoint num="17" id="1316" />
+<TGConnectingPoint num="18" id="1317" />
+<TGConnectingPoint num="19" id="1318" />
+<TGConnectingPoint num="20" id="1319" />
+<TGConnectingPoint num="21" id="1320" />
+<TGConnectingPoint num="22" id="1321" />
+<TGConnectingPoint num="23" id="1322" />
+<TGConnectingPoint num="24" id="1323" />
+<TGConnectingPoint num="25" id="1324" />
+<TGConnectingPoint num="26" id="1325" />
+<TGConnectingPoint num="27" id="1326" />
+<TGConnectingPoint num="28" id="1327" />
+<TGConnectingPoint num="29" id="1328" />
+<TGConnectingPoint num="30" id="1329" />
+<TGConnectingPoint num="31" id="1330" />
+<TGConnectingPoint num="32" id="1331" />
+<TGConnectingPoint num="33" id="1332" />
+<TGConnectingPoint num="34" id="1333" />
+<TGConnectingPoint num="35" id="1334" />
+<TGConnectingPoint num="36" id="1335" />
+<TGConnectingPoint num="37" id="1336" />
+<TGConnectingPoint num="38" id="1337" />
+<TGConnectingPoint num="39" id="1338" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5104" id="1281" >
+<cdparam x="86" y="240" />
+<sizeparam width="58" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="100" maxX="200" minY="240" maxY="480" />
+<infoparam name="Receive signal" value="write()" />
+<TGConnectingPoint num="0" id="1282" />
+<TGConnectingPoint num="1" id="1283" />
+<TGConnectingPoint num="2" id="1284" />
+<TGConnectingPoint num="3" id="1285" />
+<TGConnectingPoint num="4" id="1286" />
+<TGConnectingPoint num="5" id="1287" />
+<TGConnectingPoint num="6" id="1288" />
+<TGConnectingPoint num="7" id="1289" />
+<TGConnectingPoint num="8" id="1290" />
+<TGConnectingPoint num="9" id="1291" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="1234" >
+<cdparam x="400" y="140" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="140" maxY="280" />
+<infoparam name="State" value="Wait4Request" />
+<TGConnectingPoint num="0" id="1235" />
+<TGConnectingPoint num="1" id="1236" />
+<TGConnectingPoint num="2" id="1237" />
+<TGConnectingPoint num="3" id="1238" />
+<TGConnectingPoint num="4" id="1239" />
+<TGConnectingPoint num="5" id="1240" />
+<TGConnectingPoint num="6" id="1241" />
+<TGConnectingPoint num="7" id="1242" />
+<TGConnectingPoint num="8" id="1243" />
+<TGConnectingPoint num="9" id="1244" />
+<TGConnectingPoint num="10" id="1245" />
+<TGConnectingPoint num="11" id="1246" />
+<TGConnectingPoint num="12" id="1247" />
+<TGConnectingPoint num="13" id="1248" />
+<TGConnectingPoint num="14" id="1249" />
+<TGConnectingPoint num="15" id="1250" />
+<TGConnectingPoint num="16" id="1251" />
+<TGConnectingPoint num="17" id="1252" />
+<TGConnectingPoint num="18" id="1253" />
+<TGConnectingPoint num="19" id="1254" />
+<TGConnectingPoint num="20" id="1255" />
+<TGConnectingPoint num="21" id="1256" />
+<TGConnectingPoint num="22" id="1257" />
+<TGConnectingPoint num="23" id="1258" />
+<TGConnectingPoint num="24" id="1259" />
+<TGConnectingPoint num="25" id="1260" />
+<TGConnectingPoint num="26" id="1261" />
+<TGConnectingPoint num="27" id="1262" />
+<TGConnectingPoint num="28" id="1263" />
+<TGConnectingPoint num="29" id="1264" />
+<TGConnectingPoint num="30" id="1265" />
+<TGConnectingPoint num="31" id="1266" />
+<TGConnectingPoint num="32" id="1267" />
+<TGConnectingPoint num="33" id="1268" />
+<TGConnectingPoint num="34" id="1269" />
+<TGConnectingPoint num="35" id="1270" />
+<TGConnectingPoint num="36" id="1271" />
+<TGConnectingPoint num="37" id="1272" />
+<TGConnectingPoint num="38" id="1273" />
+<TGConnectingPoint num="39" id="1274" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5100" id="1226" >
+<cdparam x="400" y="40" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="400" maxX="800" minY="40" maxY="80" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="1227" />
+</COMPONENT>
+
+
+</AVATARStateMachineDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="Block3" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="5100" id="1221" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="1222" />
+</COMPONENT>
+
+
+</AVATARStateMachineDiagramPanel>
+
+</Modeling>
+
+
+
+
</TURTLEGMODELING>
\ No newline at end of file
diff --git a/src/avatartranslator/AvatarBlockTemplate.java b/src/avatartranslator/AvatarBlockTemplate.java
index 7fba2327c81a7b920da440eb116ab56bb9b31595..24d7428405e19e81ff855e53f6db9ab971a08e06 100644
--- a/src/avatartranslator/AvatarBlockTemplate.java
+++ b/src/avatartranslator/AvatarBlockTemplate.java
@@ -201,6 +201,7 @@ public class AvatarBlockTemplate {
ab.addAttribute(size);
AvatarAttribute maxSize = new AvatarAttribute("maxSize", AvatarType.INTEGER, ab, _referenceRelation);
+ TraceManager.addDev("*********************************** Size of FIFO=" + _sizeOfFifo);
maxSize.setInitialValue("" + _sizeOfFifo);
ab.addAttribute(maxSize);
diff --git a/src/avatartranslator/AvatarSpecification.java b/src/avatartranslator/AvatarSpecification.java
index 5fb9cc5fda36286cb5ace2e6546e5f148f8b88ba..93b201ca2cc15e581a880151331403e776cb4cc6 100644
--- a/src/avatartranslator/AvatarSpecification.java
+++ b/src/avatartranslator/AvatarSpecification.java
@@ -336,6 +336,7 @@ public class AvatarSpecification extends AvatarElement {
if (ar.isAsynchronous()) {
// Must be removed
int size = Math.min(_maxSizeOfInfiniteFifo, ar.getSizeOfFIFO());
+ TraceManager.addDev("***************************** Size of FIFO:" + size);
size = Math.max(1, size);
FIFO_ID = removeFIFO(ar, size, oldOnes, newOnes, FIFO_ID);
}
diff --git a/src/avatartranslator/modelchecker/AvatarModelChecker.java b/src/avatartranslator/modelchecker/AvatarModelChecker.java
index 377e2a3ea75b7c379d142a55ea49c99129719fb3..0e7a7b0d859507b5fb368830cd35fc230c551c9c 100644
--- a/src/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -269,7 +269,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
}
- //TraceManager.addDev("Preparing Avatar specification :" + spec.toString());
+ TraceManager.addDev("Preparing Avatar specification :" + spec.toString());
prepareStates();
prepareTransitions();