Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Composite2.conf.json
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false)
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false)
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false)
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo", uses=false)
Using package Modelica_StateGraph2 with version 2.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo)
Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo)
Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo)
Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo)
Running command: translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.Composite2,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Composite2")
translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.Composite2,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Composite2")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001113/0.001113, allocations: 110.3 kB / 16.42 MB, free: 6.508 MB / 14.72 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001144/0.001144, allocations: 191.1 kB / 17.36 MB, free: 5.75 MB / 14.72 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.196/1.196, allocations: 222.9 MB / 241 MB, free: 15.14 MB / 206.1 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.07223/0.07223, allocations: 13.55 MB / 304.7 MB, free: 1.168 MB / 238.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.251e-05/2.251e-05, allocations: 5.656 kB / 422.2 MB, free: 14.43 MB / 302.1 MB
Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.Composite2): time 0.002673/0.002705, allocations: 2.771 MB / 425 MB, free: 11.63 MB / 302.1 MB
Notification: Performance of NFInst.instExpressions: time 0.001889/0.004606, allocations: 1.5 MB / 426.5 MB, free: 10.12 MB / 302.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0002038/0.00482, allocations: 31.81 kB / 426.5 MB, free: 10.09 MB / 302.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.002062/0.006888, allocations: 1.663 MB / 428.2 MB, free: 8.418 MB / 302.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0001505/0.007066, allocations: 83.06 kB / 428.3 MB, free: 8.336 MB / 302.1 MB
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: The first argument 'step2.local_entry.node' of Connections.uniqueRoot must have the form A.R, where A is a connector and R an over-determined type/record.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRootIndices. Functionality might be partially supported but is not guaranteed.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The first argument 'step2.local_entry.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The second argument 'step2.local_exit.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15046:9-15046:83:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed.
Notification: Performance of NFTyping.typeClassSections: time 0.001143/0.008216, allocations: 0.6151 MB / 428.9 MB, free: 7.727 MB / 302.1 MB
Notification: Performance of NFFlatten.flatten: time 0.0007064/0.008929, allocations: 1.225 MB / 430.1 MB, free: 6.5 MB / 302.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.001249/0.01019, allocations: 1.811 MB / 431.9 MB, free: 4.656 MB / 302.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0003556/0.01055, allocations: 0.5919 MB / 432.5 MB, free: 4.062 MB / 302.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0002966/0.01085, allocations: 0.5522 MB / 433.1 MB, free: 3.508 MB / 302.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0001134/0.01097, allocations: 136 kB / 433.2 MB, free: 3.375 MB / 302.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0001663/0.01115, allocations: 160 kB / 433.3 MB, free: 3.219 MB / 302.1 MB
Notification: Performance of combineBinaries: time 0.0005443/0.0117, allocations: 1.664 MB / 435 MB, free: 1.535 MB / 302.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0002564/0.01196, allocations: 1.081 MB / 436.1 MB, free: 448 kB / 302.1 MB
Notification: Performance of NFVerifyModel.verify: time 9.499e-05/0.01207, allocations: 143.5 kB / 436.2 MB, free: 304 kB / 302.1 MB
Notification: Performance of FrontEnd: time 0.0001046/0.01218, allocations: 163.2 kB / 436.4 MB, free: 140 kB / 302.1 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 300 (269)
 * Number of variables: 276 (266)
Notification: Performance of Bindings: time 0.004359/0.01654, allocations: 4.929 MB / 441.3 MB, free: 11.01 MB / 318.1 MB
Notification: Performance of FunctionAlias: time 0.0008724/0.01742, allocations: 1.034 MB / 442.3 MB, free: 9.938 MB / 318.1 MB
Notification: Performance of Early Inline: time 0.002766/0.02019, allocations: 3.031 MB / 445.4 MB, free: 6.844 MB / 318.1 MB
Notification: Performance of simplify1: time 0.0002325/0.02044, allocations: 215.7 kB / 445.6 MB, free: 6.633 MB / 318.1 MB
Notification: Performance of Alias: time 0.003542/0.02399, allocations: 3.494 MB / 449.1 MB, free: 2.773 MB / 318.1 MB
Notification: Performance of simplify2: time 0.0001697/0.02417, allocations: 183.7 kB / 449.3 MB, free: 2.594 MB / 318.1 MB
Notification: Performance of Events: time 0.001252/0.02543, allocations: 1.283 MB / 450.5 MB, free: 1.23 MB / 318.1 MB
Notification: Performance of Detect States: time 0.001433/0.02687, allocations: 1.62 MB / 452.2 MB, free: 15.56 MB / 334.1 MB
Notification: Performance of Partitioning: time 0.001857/0.02873, allocations: 1.835 MB / 454 MB, free: 13.57 MB / 334.1 MB
Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency step5.outPort.node.suspend could not be divided by the body size 2 without rest.
Error: Internal error NBAdjacency.Matrix.createPseudo failed for:
[FOR-] (2) ($RES_SIM_172)
[----] for $i1 in 1:1 loop
[----]   [RECD] (2) step5.outPort[$i1].node = step5.connectorNode.node ($RES_SIM_173)
[----] end for;
Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system:
System Variables (268/281)
****************************
(1)       [DISC] (2) Boolean[2] step2.step4.outPort.node.suspend
(2)       [DISC] (1) Boolean[1] step1.inPort.node.resume
(3)       [DISC] (2) Boolean[2] $SEV_18[$i1]
(4)       [DISC] (1) Boolean step2.active (fixed = true, start = false)
(5)       [DISC] (2) Boolean[2] step2.step3.inPort.fire
(6)       [DISC] (1) protected Boolean[1] step2.local_exit.node.resume
(7)       [DISC] (1) Boolean[1] step5.inPort.node.suspend
(8)       [DISC] (1) Boolean[1] step2.inPort.checkOneDelayedTransitionPerLoop
(9)       [DISC] (1) Boolean[1] step2.outPort.fire
(10)      [DISC] (1) Boolean[1] step1.inPort.node.suspend
(11)      [DISS] (1) protected Boolean step5.oldActive (fixed = true, start = false)
(12)      [DISC] (1) Boolean step2.T6.outPort.fire
(13)      [DISC] (1) protected Boolean[1] step2.local_inPort.node.suspend
(14)      [DISC] (1) Boolean T3.outPort.fire
(15)      [DISC] (1) protected Boolean step2.connectorNode.node.suspend
(16)      [DISC] (1) Boolean T1.outPort.node.suspend
(17)      [DISC] (1) Boolean[1] step2.step4.inPort.checkOneDelayedTransitionPerLoop
(18)      [DISC] (2) Boolean[2] $SEV_17[$i1]
(19)      [DISC] (1) Boolean T4.outPort.node.suspend
(20)      [DISC] (1) Boolean T1.inPort.available
(21)      [DISC] (1) protected Boolean step2.inport_fire (fixed = true, start = false)
(22)      [DISC] (1) protected Boolean[1] step2.entry.checkOneDelayedTransitionPerLoop
(23)      [DISC] (1) protected Boolean[1] step2.local_inPort.node.resume
(24)      [DISC] (1) Boolean step2.T6.outPort.node.resume
(25)      [DISC] (1) protected Boolean step2.step3.newActive (fixed = true, start = false)
(26)      [DISC] (2) Boolean[2] step2.step4.outPort.fire
(27)      [DISC] (1) Boolean[1] step2.resume.node.suspend
(28)      [DISC] (1) Boolean step2.step6.active
(29)      [DISC] (1) protected Boolean step2.step6.inport_fire
(30)      [DISC] (1) Boolean[1] step2.step6.outPort.available
(31)      [DISC] (1) Boolean T5.outPort.node.resume
(32)      [DISC] (1) protected Integer step2.firstActive (fixed = true, start = 0)
(33)      [DISC] (1) Boolean T1.outPort.node.resume
(34)      [DISC] (1) Boolean T3.enableFire
(35)      [DISC] (1) Boolean[1] step1.outPort.available
(36)      [DISC] (2) Boolean[2] $SEV_16[$i1]
(37)      [DISC] (1) protected Boolean step1.outport_fire
(38)      [DISC] (1) protected Boolean[1] step2.local_resume.checkOneDelayedTransitionPerLoop
(39)      [DISC] (1) Boolean[1] step2.step3.outPort.node.resume
(40)      [DISC] (1) Boolean[1] step2.step6.outPort.node.resume
(41)      [DISC] (1) Boolean[1] step2.step3.outPort.available
(42)      [DISC] (1) Boolean[1] step2.step6.inPort.node.resume
(43)      [DISC] (1) Boolean[1] step2.step6.outPort.node.suspend
(44)      [DISC] (1) Boolean[1] step2.inPort.node.resume
(45)      [DISC] (1) protected Boolean[1] step2.local_exit.fire
(46)      [DISC] (1) Boolean T4.outPort.node.resume
(47)      [DISC] (1) Boolean $TEV_9
(48)      [DISC] (1) Boolean $TEV_8
(49)      [DISC] (1) protected Boolean[1] step2.local_outPort.node.suspend
(50)      [DISC] (1) Boolean $TEV_7
(51)      [DISC] (1) Boolean $TEV_6
(52)      [DISC] (1) Boolean $TEV_5
(53)      [DISC] (1) Boolean $TEV_4
(54)      [DISC] (1) Boolean T1.outPort.fire
(55)      [DISC] (1) Boolean $TEV_3
(56)      [DISC] (1) Boolean step2.T7.outPort.node.resume
(57)      [DISC] (1) Boolean $TEV_2
(58)      [DISC] (1) Boolean $TEV_1
(59)      [DISC] (1) Boolean $TEV_0
(60)      [DISC] (2) Boolean[2] step2.step4.outPort.node.resume
(61)      [DISC] (1) Boolean step2.T6.enableFire
(62)      [DISC] (1) Boolean[1] step5.outPort.fire
(63)      [DISC] (1) protected Boolean step1.newActive (fixed = true, start = true)
(64)      [DISS] (1) protected Boolean step2.step4.oldActive (fixed = true, start = false)
(65)      [DISC] (1) protected Boolean[1] step2.local_entry.node.suspend
(66)      [DISC] (1) protected Boolean step2.step3.outport_fire
(67)      [DISC] (1) Boolean T3.outPort.node.resume
(68)      [DISC] (1) protected Boolean[1] step2.local_exit.available
(69)      [DISC] (1) Boolean step2.T2.inPort.available
(70)      [DISC] (1) Boolean[1] step2.step3.outPort.checkOneDelayedTransitionPerLoop
(71)      [DISC] (1) protected Boolean step1.inport_fire
(72)      [DISC] (1) protected Boolean[1] step2.local_entry.node.resume
(73)      [DISC] (1) protected Boolean[1] step2.local_entry.fire
(74)      [DISC] (1) Boolean[1] step2.inPort.node.suspend
(75)      [DISC] (1) Boolean step2.T2.outPort.node.suspend
(76)      [DISC] (1) Boolean step5.active
(77)      [DISS] (1) protected Boolean step2.step6.oldActive (fixed = true, start = false)
(78)      [DISC] (1) protected Boolean[1] step2.local_entry.checkOneDelayedTransitionPerLoop
(79)      [DISC] (1) Boolean step2.step4.active
(80)      [DISC] (1) protected Boolean step2.step4.inport_fire
(81)      [DISC] (1) Boolean T1.enableFire
(82)      [DISC] (1) Boolean[1] step2.suspend.node.suspend
(83)      [DISC] (1) Boolean T5.inPort.checkOneDelayedTransitionPerLoop
(84)      [DISS] (1) protected Boolean step2.oldActive (fixed = true, start = false)
(85)      [DISC] (1) Boolean[1] step5.inPort.fire
(86)      [DISC] (1) Boolean step2.T2.inPort.node.resume
(87)      [DISC] (1) protected Integer[1] step2.entryIndices
(88)      [DISC] (1) protected Boolean[1] step2.local_resume.node.suspend
(89)      [DISC] (1) Boolean T3.inPort.available
(90)      [DISC] (1) protected Boolean[1] step2.local_outPort.fire
(91)      [DISC] (1) Boolean T4.outPort.checkOneDelayedTransitionPerLoop
(92)      [DISC] (1) protected Boolean[1] step2.local_suspend.available
(93)      [DISC] (1) protected Boolean step2.step3.connectorNode.node.suspend
(94)      [DISC] (1) Boolean step2.T7.outPort.node.suspend
(95)      [DISC] (1) protected Boolean step2.resume_fire
(96)      [DISC] (1) protected Boolean[1] step2.local_suspend.checkOneDelayedTransitionPerLoop
(97)      [DISC] (1) Boolean step2.T6.inPort.available
(98)      [DISC] (1) protected Boolean step5.newActive (fixed = true, start = false)
(99)      [DISC] (2) Boolean[2] step2.step3.inPort.checkOneDelayedTransitionPerLoop
(100)     [DISC] (1) Boolean $SEV_9
(101)     [DISC] (1) Boolean $SEV_8
(102)     [DISC] (1) Boolean $SEV_7
(103)     [DISC] (1) Boolean T4.outPort.fire
(104)     [DISC] (1) protected Boolean[1] step2.local_resume.node.resume
(105)     [DISC] (1) Boolean $SEV_6
(106)     [DISC] (1) Boolean $SEV_5
(107)     [DISC] (1) protected Boolean[1] step2.exit.fire
(108)     [DISC] (1) Boolean $SEV_4
(109)     [DISC] (1) Boolean $SEV_3
(110)     [DISC] (1) Boolean[1] step5.outPort.checkOneDelayedTransitionPerLoop
(111)     [DISC] (1) Boolean $SEV_2
(112)     [DISC] (1) Boolean $SEV_1
(113)     [DISC] (1) Boolean $SEV_0
(114)     [DISC] (1) Boolean step2.T2.inPort.node.suspend
(115)     [DISC] (1) Boolean step2.step3.active
(116)     [DISC] (1) protected Boolean step2.step6.outport_fire
(117)     [DISC] (1) Boolean[1] step1.outPort.node.suspend
(118)     [DISC] (1) Boolean T4.inPort.node.suspend
(119)     [DISS] (1) protected Real step2.T6.t_start
(120)     [DISC] (1) Boolean[1] step2.outPort.node.suspend
(121)     [DISC] (1) protected Boolean[1] step2.entry_restart
(122)     [DISC] (1) Boolean[1] step2.suspend.fire
(123)     [DISC] (1) protected Boolean step2.step3.inport_fire
(124)     [DISC] (1) Boolean[1] step5.outPort.node.suspend
(125)     [DISC] (1) Boolean step2.T2.inPort.checkOneDelayedTransitionPerLoop
(126)     [DISS] (1) protected Real step2.T2.t_start
(127)     [DISC] (1) protected Boolean step2.outport_fire
(128)     [DISC] (1) Boolean T4.inPort.node.resume
(129)     [DISC] (1) protected Boolean step2.step4.connectorNode.node.resume
(130)     [DISC] (1) protected Boolean step2.entry_fire (fixed = true, start = false)
(131)     [DISC] (1) Boolean T3.inPort.node.suspend
(132)     [DISC] (1) Boolean step2.T7.outPort.checkOneDelayedTransitionPerLoop
(133)     [DISC] (2) Boolean[2] step2.step4.outPort.available
(134)     [DISC] (1) protected Boolean[1] step2.entry.node.resume
(135)     [DISC] (1) Boolean[1] step1.outPort.fire
(136)     [DISC] (1) protected Boolean[1] step2.local_suspend.node.resume
(137)     [DISC] (1) protected Boolean[1] step2.exit.node.resume
(138)     [DISC] (1) Boolean[1] step2.step4.inPort.node.suspend
(139)     [DISC] (1) Boolean step2.T7.outPort.fire
(140)     [DISC] (2) Boolean[2] step2.step4.outPort.checkOneDelayedTransitionPerLoop
(141)     [DISC] (1) protected Boolean[1] step2.exit.node.suspend
(142)     [DISS] (1) protected Boolean step2.finished (fixed = true, start = true)
(143)     [DISC] (1) Boolean[1] step2.outPort.node.resume
(144)     [DISC] (1) Boolean[1] step2.inPort.fire
(145)     [DISC] (1) Boolean T5.inPort.available
(146)     [DISC] (1) Boolean step2.T6.inPort.node.resume
(147)     [DISC] (1) protected Boolean[1] step2.entry.node.suspend
(148)     [DISC] (1) Boolean $FUN_9
(149)     [DISC] (1) Boolean $FUN_27
(150)     [DISC] (1) Boolean $FUN_26
(151)     [DISC] (1) Boolean step2.T7.inPort.available
(152)     [DISC] (1) Boolean $FUN_25
(153)     [DISC] (1) Boolean $FUN_6
(154)     [DISC] (1) protected Boolean step2.step4.newActive (fixed = true, start = false)
(155)     [DISC] (1) Boolean $FUN_23
(156)     [DISC] (1) Boolean $FUN_22
(157)     [DISC] (1) protected Boolean step2.step4.outport_fire
(158)     [DISC] (1) protected Boolean[1] step2.exit.available
(159)     [DISC] (1) Boolean $FUN_21
(160)     [DISC] (1) Boolean $FUN_20
(161)     [DISC] (1) Boolean[1] step2.resume.fire
(162)     [DISC] (1) Boolean step2.T2.outPort.fire
(163)     [DISC] (1) Boolean[1] step2.step6.inPort.fire
(164)     [DISC] (1) Boolean[1] step2.resume.checkOneDelayedTransitionPerLoop
(165)     [DISC] (1) protected Boolean step2.step6.connectorNode.node.suspend
(166)     [DISC] (1) Boolean T5.inPort.node.resume
(167)     [DISC] (1) protected Boolean[1] step2.local_suspend.node.suspend
(168)     [DISC] (1) protected Boolean step5.connectorNode.node.suspend
(169)     [DISC] (1) Boolean $SEV_35
(170)     [DISC] (1) Boolean T5.outPort.node.suspend
(171)     [DISC] (1) protected Boolean step1.connectorNode.node.suspend
(172)     [DISC] (1) Boolean $SEV_34
(173)     [DISC] (1) Boolean step2.T2.enableFire
(174)     [DISC] (1) Boolean[1] step5.outPort.node.resume
(175)     [DISC] (1) Boolean $SEV_33
(176)     [DISS] (1) protected Boolean step2.step3.oldActive (fixed = true, start = false)
(177)     [DISC] (1) Boolean $SEV_31
(178)     [DISC] (1) Boolean step2.T6.outPort.node.suspend
(179)     [DISC] (1) Boolean[1] step1.outPort.node.resume
(180)     [DISC] (1) Boolean[1] step2.step3.outPort.fire
(181)     [DISC] (1) Boolean $FUN_19
(182)     [DISC] (1) Boolean $FUN_18
(183)     [DISC] (1) Boolean $FUN_12
(184)     [DISC] (1) Boolean[1] step2.outPort.available
(185)     [DISC] (1) Boolean[1] step5.outPort.available
(186)     [DISC] (1) Boolean $SEV_29
(187)     [DISC] (1) Boolean $SEV_28
(188)     [DISC] (1) protected Boolean T4.localCondition
(189)     [DISC] (1) Boolean[1] step2.suspend.available
(190)     [DISC] (1) Boolean $SEV_27
(191)     [DISC] (1) protected Boolean step2.step4.connectorNode.node.suspend
(192)     [DISC] (1) Boolean $SEV_26
(193)     [DISC] (2) Boolean[2] step2.step3.inPort.node.resume
(194)     [DISC] (1) Boolean $SEV_24
(195)     [DISC] (1) protected Boolean step2.step6.newActive (fixed = true, start = false)
(196)     [DISC] (1) Boolean $SEV_23
(197)     [DISC] (1) Boolean $SEV_22
(198)     [DISC] (1) Boolean $SEV_20
(199)     [DISC] (1) Boolean[1] step5.inPort.node.resume
(200)     [DISC] (1) protected Boolean step2.suspend_fire (fixed = true, start = false)
(201)     [DISC] (1) Boolean step2.T2.outPort.node.resume
(202)     [DISC] (1) Boolean[1] step2.step4.inPort.node.resume
(203)     [DISC] (1) protected Boolean step5.connectorNode.node.resume
(204)     [DISC] (1) protected Boolean step5.outport_fire
(205)     [DISC] (1) Boolean[1] step2.step6.inPort.node.suspend
(206)     [DISC] (1) protected Boolean step2.newActive (fixed = true, start = false)
(207)     [DISC] (1) protected Boolean[1] step2.local_inPort.fire
(208)     [DISC] (1) protected Boolean step1.connectorNode.node.resume
(209)     [DISC] (1) Boolean[1] step2.step3.outPort.node.suspend
(210)     [DISC] (1) Boolean T1.inPort.node.suspend
(211)     [DISC] (1) Boolean[1] step2.step4.inPort.fire
(212)     [DISC] (1) protected Boolean[1] step2.entry.fire
(213)     [DISC] (1) Boolean $SEV_15
(214)     [DISC] (1) Boolean T5.inPort.node.suspend
(215)     [DISC] (1) protected Boolean[1] step2.local_inPort.checkOneDelayedTransitionPerLoop
(216)     [DISC] (1) Boolean $SEV_13
(217)     [DISC] (1) Boolean $SEV_12
(218)     [DISC] (1) Boolean $SEV_11
(219)     [DISC] (1) Boolean $SEV_10
(220)     [DISS] (1) protected Boolean step1.oldActive (fixed = true, start = true)
(221)     [DISC] (1) Boolean[1] step1.inPort.fire
(222)     [DISC] (1) Boolean[1] step5.inPort.checkOneDelayedTransitionPerLoop
(223)     [DISC] (1) protected Boolean[1] step2.local_resume.fire
(224)     [DISC] (1) Boolean $TEV_24
(225)     [DISC] (1) Boolean T4.inPort.available
(226)     [DISC] (1) Boolean $TEV_23
(227)     [DISC] (1) Boolean step2.T6.inPort.node.suspend
(228)     [DISC] (1) Boolean $TEV_22
(229)     [DISC] (1) Boolean $TEV_21
(230)     [DISC] (1) Boolean $TEV_20
(231)     [DISC] (1) protected Boolean step5.inport_fire
(232)     [DISC] (1) protected Boolean step2.connectorNode.node.resume
(233)     [DISC] (1) Boolean[1] step2.resume.node.resume
(234)     [DISC] (2) Boolean[2] step2.step3.inPort.node.suspend
(235)     [DISC] (1) protected Boolean step2.step6.connectorNode.node.resume
(236)     [DISC] (1) Boolean step1.active
(237)     [DISC] (1) Boolean T5.outPort.fire
(238)     [DISC] (1) protected Boolean[1] step2.local_outPort.available
(239)     [DISC] (1) Boolean[1] step2.suspend.checkOneDelayedTransitionPerLoop
(240)     [DISC] (1) protected Boolean step2.T7.localCondition
(241)     [DISS] (1) protected Real T1.t_start
(242)     [DISC] (1) Boolean[1] step2.suspend.node.resume
(243)     [DISC] (1) Boolean $TEV_19
(244)     [DISC] (1) Boolean step2.T6.inPort.checkOneDelayedTransitionPerLoop
(245)     [DISC] (1) Boolean $TEV_18
(246)     [DISC] (2) Boolean[2] $SEV_19[$i1]
(247)     [DISC] (1) Boolean step2.T7.inPort.node.resume
(248)     [DISC] (1) Boolean $TEV_17
(249)     [DISC] (1) Boolean $TEV_16
(250)     [DISC] (1) Boolean T1.inPort.node.resume
(251)     [DISC] (1) Boolean $TEV_15
(252)     [DISC] (1) Boolean $TEV_14
(253)     [DISC] (1) Boolean $TEV_13
(254)     [DISC] (1) Boolean $TEV_12
(255)     [DISS] (1) protected Real T3.t_start
(256)     [DISC] (1) Boolean $TEV_11
(257)     [DISC] (1) Boolean T5.enableFire
(258)     [DISC] (1) Boolean $TEV_10
(259)     [DISC] (1) protected Boolean[1] step2.local_exit.node.suspend
(260)     [DISC] (1) Boolean step2.T7.inPort.node.suspend
(261)     [DISC] (1) protected Boolean[1] step2.local_outPort.node.resume
(262)     [DISC] (1) Boolean T3.inPort.node.resume
(263)     [DISC] (1) protected Boolean step2.step3.connectorNode.node.resume
(264)     [DISS] (1) protected Real T5.t_start
(265)     [DISC] (1) protected Boolean[1] step2.local_suspend.fire
(266)     [DISC] (1) Boolean[1] step2.step6.outPort.fire
(267)     [DISC] (1) protected Boolean step2.checkOneDelayedTransitionPerLoopIn
(268)     [DISC] (1) Boolean T3.outPort.node.suspend


System Equations (269/303)
****************************
(1)       [SCAL] (1) T1.outPort.fire = step2.inPort[1].fire ($RES_SIM_254)
(2)       [SCAL] (1) true = step2.inPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_256)
(3)       [SCAL] (1) T4.outPort.node.resume = step5.inPort[1].node.resume ($RES_SIM_257)
(4)       [SCAL] (1) T4.outPort.node.suspend = step5.inPort[1].node.suspend ($RES_SIM_258)
(5)       [SCAL] (1) T4.outPort.fire = step5.inPort[1].fire ($RES_SIM_259)
(6)       [SCAL] (1) $TEV_0 = $PRE.step2.T7.outPort.fire ($RES_EVT_381)
(7)       [SCAL] (1) $TEV_1 = $PRE.step2.T6.t_start ($RES_EVT_382)
(8)       [SCAL] (1) $TEV_2 = $PRE.step2.T6.enableFire ($RES_EVT_383)
(9)       [SCAL] (1) $TEV_3 = $PRE.step2.T2.t_start ($RES_EVT_384)
(10)      [SCAL] (1) $TEV_4 = $PRE.step2.T2.enableFire ($RES_EVT_385)
(11)      [SCAL] (1) true = step2.step4.inPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_341)
(12)      [SCAL] (1) $TEV_5 = $PRE.T5.t_start ($RES_EVT_386)
(13)      [SCAL] (1) step2.step3.outPort[1].node.resume = step2.T2.inPort.node.resume ($RES_SIM_342)
(14)      [SCAL] (1) $TEV_6 = $PRE.T5.enableFire ($RES_EVT_387)
(15)      [SCAL] (1) step2.step3.outPort[1].node.suspend = step2.T2.inPort.node.suspend ($RES_SIM_343)
(16)      [SCAL] (1) $TEV_7 = $PRE.T4.outPort.fire ($RES_EVT_388)
(17)      [SCAL] (1) step2.step3.outPort[1].fire = step2.T2.outPort.fire ($RES_SIM_344)
(18)      [SCAL] (1) $TEV_8 = $PRE.T3.t_start ($RES_EVT_389)
(19)      [SCAL] (1) step2.step3.outPort[1].checkOneDelayedTransitionPerLoop = step2.T2.inPort.checkOneDelayedTransitionPerLoop ($RES_SIM_345)
(20)      [SCAL] (1) step2.step3.outPort[1].available = step2.T2.inPort.available ($RES_SIM_346)
(21)      [FOR-] (2) ($RES_SIM_172)
(21)      [----] for $i1 in 1:1 loop
(21)      [----]   [RECD] (2) step5.outPort[$i1].node = step5.connectorNode.node ($RES_SIM_173)
(21)      [----] end for;
(22)      [FOR-] (2) ($RES_SIM_176)
(22)      [----] for $i1 in 1:1 loop
(22)      [----]   [RECD] (2) step5.inPort[$i1].node = step5.connectorNode.node ($RES_SIM_177)
(22)      [----] end for;
(23)      [ARRY] (1) step5.outPort.checkOneDelayedTransitionPerLoop = {$FUN_6} ($RES_SIM_178)
(24)      [SCAL] (1) T4.outPort.checkOneDelayedTransitionPerLoop = step5.inPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_261)
(25)      [SCAL] (1) step5.outPort[1].node.resume = T5.inPort.node.resume ($RES_SIM_262)
(26)      [SCAL] (1) step5.outPort[1].node.suspend = T5.inPort.node.suspend ($RES_SIM_263)
(27)      [SCAL] (1) step5.outPort[1].fire = T5.outPort.fire ($RES_SIM_264)
(28)      [SCAL] (1) step5.outPort[1].checkOneDelayedTransitionPerLoop = T5.inPort.checkOneDelayedTransitionPerLoop ($RES_SIM_265)
(29)      [SCAL] (1) step5.outPort[1].available = T5.inPort.available ($RES_SIM_266)
(30)      [SCAL] (1) T3.outPort.node.resume = step1.inPort[1].node.resume ($RES_SIM_267)
(31)      [SCAL] (1) T3.outPort.node.suspend = step1.inPort[1].node.suspend ($RES_SIM_268)
(32)      [SCAL] (1) T3.outPort.fire = step1.inPort[1].fire ($RES_SIM_269)
(33)      [SCAL] (1) $TEV_9 = $PRE.T3.enableFire ($RES_EVT_390)
(34)      [SCAL] (1) $TEV_10 = $PRE.T1.t_start ($RES_EVT_391)
(35)      [SCAL] (1) $TEV_11 = $PRE.T1.enableFire ($RES_EVT_392)
(36)      [SCAL] (1) $TEV_12 = $PRE.step2.firstActive ($RES_EVT_393)
(37)      [SCAL] (1) $TEV_13 = $PRE.step2.newActive ($RES_EVT_394)
(38)      [SCAL] (1) $TEV_14 = $PRE.step2.entry_fire ($RES_EVT_395)
(39)      [SCAL] (1) $TEV_15 = $PRE.step2.step6.newActive ($RES_EVT_396)
(40)      [SCAL] (1) $TEV_16 = $PRE.step2.step4.newActive ($RES_EVT_397)
(41)      [SCAL] (1) $TEV_17 = $PRE.step2.step3.newActive ($RES_EVT_398)
(42)      [SCAL] (1) $TEV_18 = $PRE.step5.newActive ($RES_EVT_399)
(43)      [SCAL] (1) step5.outPort[1].available = $SEV_27 ($RES_SIM_180)
(44)      [WHEN] (1)when step5.connectorNode.node.suspend then 
(44)      [----]   step5.oldActive := step5.active
(44)      [----] end when;
(45)      [SCAL] (1) step5.active = $TEV_18 ($RES_SIM_182)
(46)      [SCAL] (1) step5.newActive = if step5.connectorNode.node.resume then step5.oldActive else $SEV_28 ($RES_SIM_183)
(47)      [RECD] (2) T4.outPort.node = T4.inPort.node ($RES_SIM_186)
(48)      [SCAL] (1) step1.outPort[1].node.resume = T1.inPort.node.resume ($RES_SIM_272)
(49)      [SCAL] (1) step1.outPort[1].node.suspend = T1.inPort.node.suspend ($RES_SIM_273)
(50)      [SCAL] (1) step1.outPort[1].fire = T1.outPort.fire ($RES_SIM_274)
(51)      [SCAL] (1) step1.outPort[1].available = T1.inPort.available ($RES_SIM_276)
(52)      [ARRY] (1) step2.resume.node.resume = step2.local_resume.node.resume ($RES_SIM_277)
(53)      [ARRY] (1) step2.resume.node.suspend = step2.local_resume.node.suspend ($RES_SIM_278)
(54)      [ARRY] (1) step2.resume.fire = step2.local_resume.fire ($RES_SIM_279)
(55)      [SCAL] (1) T4.outPort.fire = $SEV_29 ($RES_SIM_192)
(56)      [RECD] (2) T3.outPort.node = T3.inPort.node ($RES_SIM_195)
(57)      [SCAL] (1) T3.outPort.fire = $SEV_31 ($RES_SIM_199)
(58)      [ARRY] (1) step2.resume.checkOneDelayedTransitionPerLoop = step2.local_resume.checkOneDelayedTransitionPerLoop ($RES_SIM_281)
(59)      [ARRY] (1) step2.suspend.node.resume = step2.local_suspend.node.resume ($RES_SIM_282)
(60)      [ARRY] (1) step2.suspend.node.suspend = step2.local_suspend.node.suspend ($RES_SIM_283)
(61)      [ARRY] (1) step2.suspend.fire = step2.local_suspend.fire ($RES_SIM_284)
(62)      [ARRY] (1) step2.suspend.checkOneDelayedTransitionPerLoop = step2.local_suspend.checkOneDelayedTransitionPerLoop ($RES_SIM_285)
(63)      [ARRY] (1) step2.suspend.available = step2.local_suspend.available ($RES_SIM_286)
(64)      [ARRY] (1) step2.outPort.node.resume = step2.local_outPort.node.resume ($RES_SIM_287)
(65)      [ARRY] (1) step2.outPort.node.suspend = step2.local_outPort.node.suspend ($RES_SIM_288)
(66)      [ARRY] (1) step2.outPort.fire = step2.local_outPort.fire ($RES_SIM_289)
(67)      [ARRY] (1) step2.outPort.available = step2.local_outPort.available ($RES_SIM_291)
(68)      [ARRY] (1) step2.inPort.node.resume = step2.local_inPort.node.resume ($RES_SIM_292)
(69)      [ARRY] (1) step2.inPort.node.suspend = step2.local_inPort.node.suspend ($RES_SIM_293)
(70)      [ARRY] (1) step2.inPort.fire = step2.local_inPort.fire ($RES_SIM_294)
(71)      [ARRY] (1) step2.inPort.checkOneDelayedTransitionPerLoop = step2.local_inPort.checkOneDelayedTransitionPerLoop ($RES_SIM_296)
(72)      [SCAL] (1) step2.exit[1].node.resume = step2.step6.outPort[1].node.resume ($RES_SIM_297)
(73)      [SCAL] (1) step2.exit[1].node.resume = step2.local_exit[1].node.resume ($RES_SIM_298)
(74)      [SCAL] (1) step2.exit[1].node.suspend = step2.step6.outPort[1].node.suspend ($RES_SIM_299)
(75)      [SCAL] (1) step2.local_entry[step2.entryIndices[1]].checkOneDelayedTransitionPerLoop = step2.checkOneDelayedTransitionPerLoopIn ($RES_SIM_13)
(76)      [ARRY] (1) step2.local_suspend.checkOneDelayedTransitionPerLoop = {step2.checkOneDelayedTransitionPerLoopIn} ($RES_SIM_14)
(77)      [SCAL] (1) step2.checkOneDelayedTransitionPerLoopIn = $SEV_0 ($RES_SIM_15)
(78)      [FOR-] (2) ($RES_SIM_18)
(78)      [----] for $i1 in 1:1 loop
(78)      [----]   [RECD] (2) step2.local_suspend[$i1].node = step2.connectorNode.node ($RES_SIM_19)
(78)      [----] end for;
(79)      [FOR-] (2) ($RES_SIM_22)
(79)      [----] for $i1 in 1:1 loop
(79)      [----]   [RECD] (2) step2.local_outPort[$i1].node = step2.connectorNode.node ($RES_SIM_23)
(79)      [----] end for;
(80)      [FOR-] (2) ($RES_SIM_26)
(80)      [----] for $i1 in 1:1 loop
(80)      [----]   [RECD] (2) step2.local_resume[$i1].node = step2.connectorNode.node ($RES_SIM_27)
(80)      [----] end for;
(81)      [FOR-] (2) ($RES_SIM_30)
(81)      [----] for $i1 in 1:1 loop
(81)      [----]   [RECD] (2) step2.local_inPort[$i1].node = step2.connectorNode.node ($RES_SIM_31)
(81)      [----] end for;
(82)      [SCAL] (1) step2.local_entry[1].node.suspend = $SEV_1 ($RES_SIM_32)
(83)      [SCAL] (1) step2.local_entry[1].node.resume = $SEV_2 ($RES_SIM_33)
(84)      [ARRY] (1) step2.entryIndices = {1} ($RES_SIM_34)
(85)      [SCAL] (1) step2.local_suspend[1].available = $SEV_3 ($RES_SIM_37)
(86)      [SCAL] (1) step2.local_outPort[1].available = $SEV_4 ($RES_SIM_38)
(87)      [ARRY] (1) step2.local_exit.fire = {step2.outport_fire} ($RES_SIM_39)
(88)      [-IF-] (1)if $SEV_5 then
(88)      [----]   [ARRY] (1) step2.local_entry.fire = step2.entry_restart ($RES_SIM_41)
(88)      [----] else
(88)      [----]   [ARRY] (1) step2.local_entry.fire = {step2.inport_fire for $i1 in 1:1} ($RES_SIM_42)
(88)      [----] end if;
(89)      [SCAL] (1) step2.firstActive = if $SEV_6 then 1 + $TEV_12 else if $SEV_7 then 0 else $TEV_12 ($RES_SIM_43)
(90)      [SCAL] (1) step2.entry_restart[step2.entryIndices[1]] = true ($RES_SIM_44)
(91)      [SCAL] (1) step2.newActive = if $FUN_21 then step2.oldActive else $SEV_8 ($RES_SIM_45)
(92)      [SCAL] (1) step2.active = $TEV_13 ($RES_SIM_46)
(93)      [SCAL] (1) step2.resume_fire = $SEV_9 ($RES_SIM_48)
(94)      [SCAL] (1) step2.suspend_fire = $SEV_10 ($RES_SIM_49)
(95)      [WHEN] (1)when step2.connectorNode.node.suspend then 
(95)      [----]   step2.oldActive := step2.active
(95)      [----] end when;
(96)      [WHEN] (1)when {step2.outport_fire, $TEV_14} then 
(96)      [----]   step2.finished := step2.outport_fire
(96)      [----] end when;
(97)      [RECD] (2) step2.T7.outPort.node = step2.T7.inPort.node ($RES_SIM_55)
(98)      [SCAL] (1) step2.step4.inPort[1].checkOneDelayedTransitionPerLoop = true ($RES_SIM_100)
(99)      [SCAL] (1) $TEV_19 = $PRE.step1.newActive ($RES_EVT_400)
(100)     [FOR-] (4) ($RES_SIM_105)
(100)     [----] for $i1 in 1:2 loop
(100)     [----]   [RECD] (2) step2.step4.outPort[$i1].node = step2.step4.connectorNode.node ($RES_SIM_106)
(100)     [----] end for;
(101)     [SCAL] (1) $TEV_20 = time >= 2.5 ($RES_EVT_401)
(102)     [SCAL] (1) $TEV_21 = time < 4.5 ($RES_EVT_402)
(103)     [SCAL] (1) $TEV_22 = $TEV_20 and $TEV_21 ($RES_EVT_403)
(104)     [SCAL] (1) $TEV_23 = time >= 3.5 ($RES_EVT_404)
(105)     [FOR-] (2) ($RES_SIM_109)
(105)     [----] for $i1 in 1:1 loop
(105)     [----]   [RECD] (2) step2.step4.inPort[$i1].node = step2.step4.connectorNode.node ($RES_SIM_110)
(105)     [----] end for;
(106)     [SCAL] (1) $TEV_24 = $TEV_23 and $TEV_21 ($RES_EVT_405)
(107)     [SCAL] (1) $SEV_0 = $FUN_26 and $FUN_27 ($RES_EVT_406)
(108)     [SCAL] (1) $SEV_1 = step2.active and step2.suspend_fire or not step2.active and $PRE.step2.active ($RES_EVT_407)
(109)     [SCAL] (1) $SEV_2 = step2.resume_fire and not step2.entry_fire ($RES_EVT_408)
(110)     [SCAL] (1) step2.T7.outPort.fire = $SEV_11 ($RES_SIM_61)
(111)     [SCAL] (1) $SEV_3 = step2.active and not $PRE.step2.suspend_fire ($RES_EVT_409)
(112)     [SCAL] (1) step2.step6.outPort[1].fire = true ($RES_SIM_63)
(113)     [SCAL] (1) step2.step6.inPort[1].fire = true ($RES_SIM_66)
(114)     [ARRY] (2) step2.step4.outPort.checkOneDelayedTransitionPerLoop = {$FUN_12 for $i1 in 1:2} ($RES_SIM_111)
(115)     [FOR-] (2) ($RES_SIM_113)
(115)     [----] for $i1 in 1:2 loop
(115)     [----]   [SCAL] (1) step2.step4.outPort[$i1].available = if $SEV_16[$i1] then $SEV_17[$i1] else $SEV_19[$i1] ($RES_SIM_114)
(115)     [----] end for;
(116)     [SCAL] (1) $SEV_4 = step2.active and $FUN_25 ($RES_EVT_410)
(117)     [WHEN] (1)when step2.step4.connectorNode.node.suspend then 
(117)     [----]   step2.step4.oldActive := step2.step4.active
(117)     [----] end when;
(118)     [SCAL] (1) $SEV_5 = step2.firstActive == 1 ($RES_EVT_411)
(119)     [SCAL] (1) step2.step4.active = $TEV_16 ($RES_SIM_116)
(120)     [SCAL] (1) $SEV_6 = (step2.active and not step2.suspend_fire) and $PRE.step2.firstActive <= 1 ($RES_EVT_412)
(121)     [SCAL] (1) step2.step4.newActive = if step2.step4.connectorNode.node.resume then step2.step4.oldActive else $SEV_20 ($RES_SIM_117)
(122)     [SCAL] (1) $SEV_7 = step2.resume_fire and step2.finished ($RES_EVT_413)
(123)     [SCAL] (1) $SEV_8 = (step2.inport_fire or $FUN_23) or (step2.active and not step2.outport_fire) and not step2.suspend_fire ($RES_EVT_414)
(124)     [SCAL] (1) $SEV_9 = ($FUN_21 or $FUN_22) or $FUN_23 ($RES_EVT_415)
(125)     [SCAL] (1) $SEV_10 = ($FUN_18 or $FUN_19) or $FUN_20 ($RES_EVT_416)
(126)     [SCAL] (1) $SEV_11 = step2.T7.localCondition and step2.T7.inPort.available ($RES_EVT_417)
(127)     [SCAL] (1) $SEV_12 = step2.step6.active and not step2.step6.connectorNode.node.suspend ($RES_EVT_418)
(128)     [SCAL] (1) $SEV_13 = step2.step6.inport_fire or (step2.step6.active and not step2.step6.outport_fire) and not step2.step6.connectorNode.node.suspend ($RES_EVT_419)
(129)     [WHEN] (1)when T3.enableFire then 
(129)     [----]   T3.t_start := time
(129)     [----] end when;
(130)     [FOR-] (2) ($RES_SIM_72)
(130)     [----] for $i1 in 1:1 loop
(130)     [----]   [RECD] (2) step2.step6.outPort[$i1].node = step2.step6.connectorNode.node ($RES_SIM_73)
(130)     [----] end for;
(131)     [SCAL] (1) T3.enableFire = T3.inPort.available ($RES_SIM_201)
(132)     [FOR-] (2) ($RES_SIM_76)
(132)     [----] for $i1 in 1:1 loop
(132)     [----]   [RECD] (2) step2.step6.inPort[$i1].node = step2.step6.connectorNode.node ($RES_SIM_77)
(132)     [----] end for;
(133)     [RECD] (2) T1.outPort.node = T1.inPort.node ($RES_SIM_204)
(134)     [SCAL] (1) T1.outPort.fire = $SEV_33 ($RES_SIM_208)
(135)     [WHEN] (1)when T1.enableFire then 
(135)     [----]   T1.t_start := time
(135)     [----] end when;
(136)     [RECD] (2) step2.T2.outPort.node = step2.T2.inPort.node ($RES_SIM_121)
(137)     [SCAL] (1) $SEV_15 = step2.T6.enableFire and time >= (step2.T6.t_start + step2.T6.waitTime) ($RES_EVT_421)
(138)     [SCAL] (1) step2.T2.outPort.fire = $SEV_22 ($RES_SIM_125)
(139)     [FOR-] (2) ($RES_EVT_422)
(139)     [----] for $i1 in 1:2 loop
(139)     [----]   [SCAL] (1) $SEV_16[$i1] = $i1 == 1 ($RES_EVT_423)
(139)     [----] end for;
(140)     [WHEN] (1)when step2.T2.enableFire then 
(140)     [----]   step2.T2.t_start := time
(140)     [----] end when;
(141)     [SCAL] (1) step2.T2.enableFire = step2.T2.inPort.available ($RES_SIM_127)
(142)     [FOR-] (2) ($RES_EVT_424)
(142)     [----] for $i1 in 1:2 loop
(142)     [----]   [SCAL] (1) $SEV_17[$i1] = step2.step4.active and not step2.step4.connectorNode.node.suspend ($RES_EVT_425)
(142)     [----] end for;
(143)     [SCAL] (1) step2.step3.outPort[1].fire = true ($RES_SIM_129)
(144)     [FOR-] (2) ($RES_EVT_426)
(144)     [----] for $i1 in 1:2 loop
(144)     [----]   [SCAL] (1) $SEV_18[$i1] = step2.step4.outPort[$i1 - 1].available and not step2.step4.outPort[$i1 - 1].fire ($RES_EVT_427)
(144)     [----] end for;
(145)     [FOR-] (2) ($RES_EVT_428)
(145)     [----] for $i1 in 1:2 loop
(145)     [----]   [SCAL] (1) $SEV_19[$i1] = $SEV_18[$i1] and not step2.step4.connectorNode.node.suspend ($RES_EVT_429)
(145)     [----] end for;
(146)     [SCAL] (1) step2.step6.outPort[1].available = $SEV_12 ($RES_SIM_80)
(147)     [WHEN] (1)when step2.step6.connectorNode.node.suspend then 
(147)     [----]   step2.step6.oldActive := step2.step6.active
(147)     [----] end when;
(148)     [SCAL] (1) T1.enableFire = T1.inPort.available ($RES_SIM_210)
(149)     [SCAL] (1) step2.step6.active = $TEV_15 ($RES_SIM_82)
(150)     [SCAL] (1) step2.step6.newActive = if step2.step6.connectorNode.node.resume then step2.step6.oldActive else $SEV_13 ($RES_SIM_83)
(151)     [SCAL] (1) step1.outPort[1].fire = true ($RES_SIM_212)
(152)     [SCAL] (1) step1.inPort[1].fire = true ($RES_SIM_215)
(153)     [RECD] (2) step2.T6.outPort.node = step2.T6.inPort.node ($RES_SIM_87)
(154)     [SCAL] (1) step2.exit[1].node.suspend = step2.local_exit[1].node.suspend ($RES_SIM_300)
(155)     [SCAL] (1) T4.localCondition = $TEV_24 ($RES_BND_349)
(156)     [SCAL] (1) step2.exit[1].fire = step2.step6.outPort[1].fire ($RES_SIM_301)
(157)     [SCAL] (1) step2.exit[1].fire = step2.local_exit[1].fire ($RES_SIM_302)
(158)     [SCAL] (1) step1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step1.inPort.fire) ($RES_$AUX_380)
(159)     [SCAL] (1) step2.exit[1].available = step2.step6.outPort[1].available ($RES_SIM_305)
(160)     [SCAL] (1) step2.exit[1].available = step2.local_exit[1].available ($RES_SIM_306)
(161)     [SCAL] (1) step2.T7.outPort.node.resume = step2.step3.inPort[2].node.resume ($RES_SIM_307)
(162)     [FOR-] (2) ($RES_SIM_132)
(162)     [----] for $i1 in 1:2 loop
(162)     [----]   [SCAL] (1) step2.step3.inPort[$i1].fire = true ($RES_SIM_133)
(162)     [----] end for;
(163)     [SCAL] (1) step2.T7.outPort.node.suspend = step2.step3.inPort[2].node.suspend ($RES_SIM_308)
(164)     [SCAL] (1) $SEV_20 = step2.step4.inport_fire or (step2.step4.active and not step2.step4.outport_fire) and not step2.step4.connectorNode.node.suspend ($RES_EVT_430)
(165)     [SCAL] (1) step2.T7.outPort.fire = step2.step3.inPort[2].fire ($RES_SIM_309)
(166)     [FOR-] (2) ($RES_SIM_134)
(166)     [----] for $i1 in 1:2 loop
(166)     [----]   [SCAL] (1) step2.step3.inPort[$i1].checkOneDelayedTransitionPerLoop = true ($RES_SIM_135)
(166)     [----] end for;
(167)     [SCAL] (1) $SEV_22 = step2.T2.enableFire and time >= (step2.T2.t_start + step2.T2.waitTime) ($RES_EVT_432)
(168)     [SCAL] (1) $SEV_23 = step2.step3.active and not step2.step3.connectorNode.node.suspend ($RES_EVT_433)
(169)     [SCAL] (1) $SEV_24 = step2.step3.inport_fire or (step2.step3.active and not step2.step3.outport_fire) and not step2.step3.connectorNode.node.suspend ($RES_EVT_434)
(170)     [SCAL] (1) $SEV_26 = T5.enableFire and time >= (T5.t_start + T5.waitTime) ($RES_EVT_436)
(171)     [SCAL] (1) $SEV_27 = step5.active and not step5.connectorNode.node.suspend ($RES_EVT_437)
(172)     [SCAL] (1) $SEV_28 = step5.inport_fire or (step5.active and not step5.outport_fire) and not step5.connectorNode.node.suspend ($RES_EVT_438)
(173)     [SCAL] (1) $SEV_29 = T4.localCondition and T4.inPort.available ($RES_EVT_439)
(174)     [SCAL] (1) step2.T6.outPort.fire = $SEV_15 ($RES_SIM_91)
(175)     [WHEN] (1)when step2.T6.enableFire then 
(175)     [----]   step2.T6.t_start := time
(175)     [----] end when;
(176)     [FOR-] (2) ($RES_SIM_221)
(176)     [----] for $i1 in 1:1 loop
(176)     [----]   [RECD] (2) step1.outPort[$i1].node = step1.connectorNode.node ($RES_SIM_222)
(176)     [----] end for;
(177)     [SCAL] (1) step2.T6.enableFire = step2.T6.inPort.available ($RES_SIM_93)
(178)     [SCAL] (1) step1.connectorNode.node.resume = false ($RES_SIM_223)
(179)     [FOR-] (2) ($RES_SIM_95)
(179)     [----] for $i1 in 1:2 loop
(179)     [----]   [SCAL] (1) step2.step4.outPort[$i1].fire = true ($RES_SIM_96)
(179)     [----] end for;
(180)     [SCAL] (1) step1.connectorNode.node.suspend = false ($RES_SIM_224)
(181)     [FOR-] (2) ($RES_SIM_227)
(181)     [----] for $i1 in 1:1 loop
(181)     [----]   [RECD] (2) step1.inPort[$i1].node = step1.connectorNode.node ($RES_SIM_228)
(181)     [----] end for;
(182)     [SCAL] (1) step2.step4.inPort[1].fire = true ($RES_SIM_99)
(183)     [SCAL] (1) step2.T7.localCondition = $TEV_22 ($RES_BND_353)
(184)     [SCAL] (1) step1.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step1.outPort.fire) ($RES_$AUX_379)
(185)     [SCAL] (1) step5.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step5.inPort.fire) ($RES_$AUX_377)
(186)     [SCAL] (1) step5.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step5.outPort.fire) ($RES_$AUX_376)
(187)     [SCAL] (1) $FUN_6 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(step5.inPort.checkOneDelayedTransitionPerLoop) ($RES_$AUX_375)
(188)     [SCAL] (1) step2.step3.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.step3.inPort.fire) ($RES_$AUX_374)
(189)     [SCAL] (1) step2.T7.outPort.checkOneDelayedTransitionPerLoop = step2.step3.inPort[2].checkOneDelayedTransitionPerLoop ($RES_SIM_311)
(190)     [SCAL] (1) step2.step3.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.step3.outPort.fire) ($RES_$AUX_373)
(191)     [SCAL] (1) step2.entry[1].node.resume = step2.step3.inPort[1].node.resume ($RES_SIM_312)
(192)     [SCAL] (1) $FUN_9 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(step2.step3.inPort.checkOneDelayedTransitionPerLoop) ($RES_$AUX_372)
(193)     [SCAL] (1) step2.entry[1].node.resume = step2.local_entry[1].node.resume ($RES_SIM_313)
(194)     [SCAL] (1) step2.step4.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.step4.inPort.fire) ($RES_$AUX_371)
(195)     [SCAL] (1) step2.entry[1].node.suspend = step2.step3.inPort[1].node.suspend ($RES_SIM_314)
(196)     [SCAL] (1) step2.step4.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.step4.outPort.fire) ($RES_$AUX_370)
(197)     [SCAL] (1) step2.entry[1].node.suspend = step2.local_entry[1].node.suspend ($RES_SIM_315)
(198)     [FOR-] (2) ($RES_SIM_140)
(198)     [----] for $i1 in 1:1 loop
(198)     [----]   [RECD] (2) step2.step3.outPort[$i1].node = step2.step3.connectorNode.node ($RES_SIM_141)
(198)     [----] end for;
(199)     [SCAL] (1) step2.entry[1].fire = step2.step3.inPort[1].fire ($RES_SIM_316)
(200)     [SCAL] (1) step2.entry[1].fire = step2.local_entry[1].fire ($RES_SIM_317)
(201)     [FOR-] (4) ($RES_SIM_144)
(201)     [----] for $i1 in 1:2 loop
(201)     [----]   [RECD] (2) step2.step3.inPort[$i1].node = step2.step3.connectorNode.node ($RES_SIM_145)
(201)     [----] end for;
(202)     [SCAL] (1) $SEV_31 = T3.enableFire and time >= (T3.t_start + T3.waitTime) ($RES_EVT_441)
(203)     [ARRY] (1) step2.step3.outPort.checkOneDelayedTransitionPerLoop = {$FUN_9} ($RES_SIM_146)
(204)     [SCAL] (1) $SEV_33 = T1.enableFire and time >= (T1.t_start + T1.waitTime) ($RES_EVT_443)
(205)     [SCAL] (1) $SEV_34 = step1.active and not step1.connectorNode.node.suspend ($RES_EVT_444)
(206)     [SCAL] (1) step2.step3.outPort[1].available = $SEV_23 ($RES_SIM_148)
(207)     [SCAL] (1) $SEV_35 = step1.inport_fire or (step1.active and not step1.outport_fire) and not step1.connectorNode.node.suspend ($RES_EVT_445)
(208)     [WHEN] (1)when step2.step3.connectorNode.node.suspend then 
(208)     [----]   step2.step3.oldActive := step2.step3.active
(208)     [----] end when;
(209)     [SCAL] (1) step1.outPort[1].available = $SEV_34 ($RES_SIM_231)
(210)     [WHEN] (1)when step1.connectorNode.node.suspend then 
(210)     [----]   step1.oldActive := step1.active
(210)     [----] end when;
(211)     [SCAL] (1) step1.active = $TEV_19 ($RES_SIM_233)
(212)     [SCAL] (1) step1.newActive = if step1.connectorNode.node.resume then step1.oldActive else $SEV_35 ($RES_SIM_234)
(213)     [SCAL] (1) step2.resume[1].node.resume = T5.outPort.node.resume ($RES_SIM_237)
(214)     [SCAL] (1) step2.resume[1].node.suspend = T5.outPort.node.suspend ($RES_SIM_238)
(215)     [SCAL] (1) step2.resume[1].fire = T5.outPort.fire ($RES_SIM_239)
(216)     [SCAL] (1) $FUN_12 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(step2.step4.inPort.checkOneDelayedTransitionPerLoop) ($RES_$AUX_369)
(217)     [SCAL] (1) step2.step6.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.step6.inPort.fire) ($RES_$AUX_368)
(218)     [SCAL] (1) step2.step6.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.step6.outPort.fire) ($RES_$AUX_367)
(219)     [SCAL] (1) step2.entry[1].checkOneDelayedTransitionPerLoop = step2.step3.inPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_320)
(220)     [SCAL] (1) step2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_inPort.fire) ($RES_$AUX_365)
(221)     [SCAL] (1) step2.entry[1].checkOneDelayedTransitionPerLoop = step2.local_entry[1].checkOneDelayedTransitionPerLoop ($RES_SIM_321)
(222)     [SCAL] (1) step2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_outPort.fire) ($RES_$AUX_364)
(223)     [SCAL] (1) step2.step4.outPort[2].node.resume = step2.T7.inPort.node.resume ($RES_SIM_322)
(224)     [SCAL] (1) $FUN_18 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_inPort.node.suspend) ($RES_$AUX_363)
(225)     [SCAL] (1) step2.step4.outPort[2].node.suspend = step2.T7.inPort.node.suspend ($RES_SIM_323)
(226)     [SCAL] (1) $FUN_19 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_resume.node.suspend) ($RES_$AUX_362)
(227)     [SCAL] (1) step2.step4.outPort[2].fire = step2.T7.outPort.fire ($RES_SIM_324)
(228)     [SCAL] (1) $FUN_20 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_suspend.fire) ($RES_$AUX_361)
(229)     [SCAL] (1) step2.step4.outPort[2].checkOneDelayedTransitionPerLoop = step2.T7.outPort.checkOneDelayedTransitionPerLoop ($RES_SIM_325)
(230)     [SCAL] (1) step2.step3.active = $TEV_17 ($RES_SIM_150)
(231)     [SCAL] (1) $FUN_21 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_inPort.node.resume) ($RES_$AUX_360)
(232)     [SCAL] (1) step2.step4.outPort[2].available = step2.T7.inPort.available ($RES_SIM_326)
(233)     [SCAL] (1) step2.step3.newActive = if step2.step3.connectorNode.node.resume then step2.step3.oldActive else $SEV_24 ($RES_SIM_151)
(234)     [SCAL] (1) step2.T6.inPort.node.resume = step2.step4.outPort[1].node.resume ($RES_SIM_327)
(235)     [SCAL] (1) step2.T6.inPort.node.suspend = step2.step4.outPort[1].node.suspend ($RES_SIM_328)
(236)     [SCAL] (1) step2.T6.outPort.fire = step2.step4.outPort[1].fire ($RES_SIM_329)
(237)     [RECD] (2) T5.outPort.node = T5.inPort.node ($RES_SIM_155)
(238)     [SCAL] (1) T5.outPort.fire = $SEV_26 ($RES_SIM_159)
(239)     [SCAL] (1) step2.resume[1].checkOneDelayedTransitionPerLoop = true ($RES_SIM_241)
(240)     [SCAL] (1) step2.suspend[1].node.resume = T4.inPort.node.resume ($RES_SIM_242)
(241)     [SCAL] (1) step2.suspend[1].node.suspend = T4.inPort.node.suspend ($RES_SIM_243)
(242)     [SCAL] (1) step2.suspend[1].fire = T4.outPort.fire ($RES_SIM_244)
(243)     [SCAL] (1) step2.suspend[1].checkOneDelayedTransitionPerLoop = T4.outPort.checkOneDelayedTransitionPerLoop ($RES_SIM_245)
(244)     [SCAL] (1) step2.suspend[1].available = T4.inPort.available ($RES_SIM_246)
(245)     [SCAL] (1) step2.outPort[1].node.resume = T3.inPort.node.resume ($RES_SIM_247)
(246)     [SCAL] (1) step2.outPort[1].node.suspend = T3.inPort.node.suspend ($RES_SIM_248)
(247)     [SCAL] (1) step2.outPort[1].fire = T3.outPort.fire ($RES_SIM_249)
(248)     [SCAL] (1) $FUN_22 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_resume.node.resume) ($RES_$AUX_359)
(249)     [SCAL] (1) $FUN_23 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_resume.fire) ($RES_$AUX_358)
(250)     [SCAL] (1) step2.entry_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.local_entry.fire) ($RES_$AUX_357)
(251)     [SCAL] (1) $FUN_25 = Modelica_StateGraph2.Blocks.BooleanFunctions.allTrue(step2.local_exit.available) ($RES_$AUX_356)
(252)     [SCAL] (1) step2.T6.inPort.checkOneDelayedTransitionPerLoop = step2.step4.outPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_330)
(253)     [SCAL] (1) $FUN_26 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(step2.local_inPort.checkOneDelayedTransitionPerLoop) ($RES_$AUX_355)
(254)     [SCAL] (1) step2.T6.inPort.available = step2.step4.outPort[1].available ($RES_SIM_331)
(255)     [SCAL] (1) $FUN_27 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(step2.local_resume.checkOneDelayedTransitionPerLoop) ($RES_$AUX_354)
(256)     [SCAL] (1) step2.T6.outPort.node.resume = step2.step6.inPort[1].node.resume ($RES_SIM_332)
(257)     [SCAL] (1) step2.T6.outPort.node.suspend = step2.step6.inPort[1].node.suspend ($RES_SIM_333)
(258)     [SCAL] (1) step2.T6.outPort.fire = step2.step6.inPort[1].fire ($RES_SIM_334)
(259)     [WHEN] (1)when T5.enableFire then 
(259)     [----]   T5.t_start := time
(259)     [----] end when;
(260)     [SCAL] (1) T5.enableFire = T5.inPort.available ($RES_SIM_161)
(261)     [SCAL] (1) step2.T2.outPort.node.resume = step2.step4.inPort[1].node.resume ($RES_SIM_337)
(262)     [SCAL] (1) step2.T2.outPort.node.suspend = step2.step4.inPort[1].node.suspend ($RES_SIM_338)
(263)     [SCAL] (1) step5.outPort[1].fire = true ($RES_SIM_163)
(264)     [SCAL] (1) step2.T2.outPort.fire = step2.step4.inPort[1].fire ($RES_SIM_339)
(265)     [SCAL] (1) step5.inPort[1].fire = true ($RES_SIM_166)
(266)     [SCAL] (1) step5.inPort[1].checkOneDelayedTransitionPerLoop = true ($RES_SIM_167)
(267)     [SCAL] (1) step2.outPort[1].available = T3.inPort.available ($RES_SIM_251)
(268)     [SCAL] (1) T1.outPort.node.resume = step2.inPort[1].node.resume ($RES_SIM_252)
(269)     [SCAL] (1) T1.outPort.node.suspend = step2.inPort[1].node.suspend ($RES_SIM_253)