Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.2_Modelica.StateGraph.Examples.ExecutionPaths.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 3.2.3+maint.om/package.mo", uses=false)
Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+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.StateGraph.Examples.ExecutionPaths,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.StateGraph.Examples.ExecutionPaths")
translateModel(Modelica.StateGraph.Examples.ExecutionPaths,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.StateGraph.Examples.ExecutionPaths")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001185/0.001185, allocations: 109.5 kB / 17.75 MB, free: 5.324 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.001126/0.001126, allocations: 184.2 kB / 18.68 MB, free: 4.41 MB / 14.72 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.295/1.295, allocations: 205.1 MB / 224.5 MB, free: 12.25 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.845e-05/2.845e-05, allocations: 7.062 kB / 328.5 MB, free: 3.355 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.StateGraph.Examples.ExecutionPaths): time 0.003254/0.003291, allocations: 2.504 MB / 331 MB, free: 0.832 MB / 270.1 MB
Notification: Performance of NFInst.instExpressions: time 0.001404/0.00471, allocations: 0.8568 MB / 331.9 MB, free: 15.97 MB / 286.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0001779/0.004899, allocations: 23.88 kB / 331.9 MB, free: 15.95 MB / 286.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0002142/0.005119, allocations: 102.8 kB / 332 MB, free: 15.85 MB / 286.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0001244/0.005268, allocations: 71.14 kB / 332 MB, free: 15.78 MB / 286.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.0007981/0.006072, allocations: 467.3 kB / 332.5 MB, free: 15.32 MB / 286.1 MB
Notification: Performance of NFFlatten.flatten: time 0.0008394/0.006922, allocations: 1.053 MB / 333.6 MB, free: 14.26 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0008464/0.007777, allocations: 0.8609 MB / 334.4 MB, free: 13.38 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0004025/0.008188, allocations: 0.5026 MB / 334.9 MB, free: 12.88 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0004/0.008595, allocations: 498 kB / 335.4 MB, free: 12.39 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0001278/0.00873, allocations: 112 kB / 335.5 MB, free: 12.28 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0001559/0.008893, allocations: 124 kB / 335.6 MB, free: 12.16 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.0007304/0.00963, allocations: 1.29 MB / 336.9 MB, free: 10.86 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0003499/0.009988, allocations: 0.7579 MB / 337.7 MB, free: 10.09 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0001355/0.01013, allocations: 135.5 kB / 337.8 MB, free: 9.953 MB / 286.1 MB
Notification: Performance of FrontEnd: time 0.0001296/0.01026, allocations: 115.2 kB / 337.9 MB, free: 9.84 MB / 286.1 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 257 (251)
 * Number of variables: 241 (229)
Notification: Performance of Bindings: time 0.003133/0.0134, allocations: 3.616 MB / 341.5 MB, free: 6.055 MB / 286.1 MB
Notification: Performance of FunctionAlias: time 0.0003842/0.01379, allocations: 383.4 kB / 341.9 MB, free: 5.664 MB / 286.1 MB
Notification: Performance of Early Inline: time 0.002354/0.01616, allocations: 2.701 MB / 344.6 MB, free: 2.906 MB / 286.1 MB
Notification: Performance of simplify1: time 0.0002225/0.01639, allocations: 215.7 kB / 344.8 MB, free: 2.695 MB / 286.1 MB
Notification: Performance of Alias: time 0.003912/0.02031, allocations: 3.959 MB / 348.8 MB, free: 14.34 MB / 302.1 MB
Notification: Performance of simplify2: time 0.0001566/0.02048, allocations: 155.8 kB / 348.9 MB, free: 14.18 MB / 302.1 MB
Notification: Performance of Events: time 0.0006566/0.02114, allocations: 0.6067 MB / 349.5 MB, free: 13.56 MB / 302.1 MB
Notification: Performance of Detect States: time 0.001125/0.02228, allocations: 1.148 MB / 350.7 MB, free: 12.37 MB / 302.1 MB
Notification: Performance of Partitioning: time 0.001038/0.02333, allocations: 1.042 MB / 351.7 MB, free: 11.31 MB / 302.1 MB
Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency transition2.outPort.set could not be divided by the body size 2 without rest.
Error: Internal error NBAdjacency.Matrix.createPseudo failed for:
[ARRY] (2) Parallel1.join.reset = {transition2.outPort.set for $i1 in 1:2} ($RES_SIM_47)
Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system:
System Variables (207/223)
****************************
(1)       [DISS] (1) protected Boolean step0.oldActive
(2)       [DISC] (1) Boolean transition6.enableFire
(3)       [DISC] (3) Boolean[3] alternative.split.reset
(4)       [DISC] (1) Boolean $SEV_26
(5)       [DISC] (1) protected Boolean step6.outerStatePort.localActive = step6.outerStatePort.localActive
(6)       [DISC] (1) Boolean $SEV_25
(7)       [DISC] (1) Boolean $SEV_24
(8)       [DISC] (1) Boolean $SEV_23
(9)       [DISC] (1) Boolean $SEV_22
(10)      [DISC] (3) Boolean[3] $SEV_1[$i1]
(11)      [DISC] (1) Boolean $SEV_21
(12)      [DISC] (1) Boolean transition4.outPort.occupied
(13)      [DISC] (1) Boolean $SEV_20
(14)      [DISC] (1) Boolean $TEV_9
(15)      [DISC] (1) Boolean[1] step5.outPort.reset
(16)      [DISC] (1) Boolean $TEV_8
(17)      [DISC] (1) Boolean $TEV_7
(18)      [DISC] (1) Boolean transition5.outPort.set
(19)      [DISC] (1) Boolean $TEV_6
(20)      [DISC] (1) Boolean transition5.outPort.occupied
(21)      [DISC] (1) Boolean $TEV_5
(22)      [ALGB] (1) Real transition4.t
(23)      [DISC] (1) Boolean $TEV_4
(24)      [DISC] (1) Boolean $TEV_3
(25)      [DISC] (1) Boolean $TEV_2
(26)      [DISC] (1) protected Boolean step1.outerStatePort.localActive = step1.outerStatePort.localActive
(27)      [DISC] (1) Boolean $TEV_1
(28)      [DISC] (1) Boolean $TEV_0
(29)      [DISC] (1) Boolean $TEV_33
(30)      [DISC] (1) Boolean $TEV_32
(31)      [ALGB] (1) protected flow Real step6.outerStatePort.subgraphStatePort.activeSteps
(32)      [DISC] (1) Boolean $TEV_31
(33)      [DISC] (1) Boolean $TEV_30
(34)      [DISC] (1) Boolean alternative.inPort.available
(35)      [DISC] (1) Boolean[1] step5.outPort.available
(36)      [DISC] (1) Boolean $SEV_19
(37)      [DISC] (1) Boolean $SEV_18
(38)      [DISC] (1) Boolean $SEV_17
(39)      [DISC] (1) Boolean $SEV_16
(40)      [DISC] (1) Boolean $SEV_15
(41)      [DISC] (1) Boolean $SEV_14
(42)      [DISC] (1) Boolean $SEV_13
(43)      [ALGB] (1) protected flow Real step4a.outerStatePort.subgraphStatePort.activeSteps
(44)      [DISC] (1) Boolean $SEV_12
(45)      [ALGB] (1) protected Real transition6.t_dummy
(46)      [DISC] (1) Boolean $SEV_11
(47)      [DISC] (1) Boolean $SEV_10
(48)      [DISC] (1) Boolean transition3.inPort.available
(49)      [DISC] (1) Boolean transition4.inPort.available
(50)      [ALGB] (1) protected flow Real step2.outerStatePort.subgraphStatePort.activeSteps
(51)      [DISC] (1) Boolean transition6.outPort.set
(52)      [DISC] (1) Boolean Parallel1.outPort.available
(53)      [DISC] (1) Boolean $TEV_29
(54)      [DISC] (1) Boolean $TEV_28
(55)      [DISC] (1) Boolean $TEV_27
(56)      [DISC] (1) Boolean[1] step0.inPort.set
(57)      [DISC] (1) Boolean[1] step1.inPort.occupied
(58)      [DISC] (1) Boolean $TEV_26
(59)      [DISC] (1) Boolean $TEV_25
(60)      [DISC] (1) Boolean $TEV_24
(61)      [DISC] (1) Boolean $TEV_23
(62)      [DISC] (1) Boolean transition4a.outPort.set
(63)      [DISC] (1) Boolean transition6a.outPort.set
(64)      [DISC] (3) Boolean[3] $SEV_0[$i1]
(65)      [DISC] (1) Boolean $TEV_22
(66)      [DISC] (1) Boolean $TEV_21
(67)      [DISC] (1) Boolean transition7.inPort.available
(68)      [DISC] (2) Boolean[2] Parallel1.split.set
(69)      [DISC] (1) Boolean $TEV_20
(70)      [DISC] (1) Boolean transition2.enableFire
(71)      [DISC] (1) Boolean transition6.inPort.available
(72)      [DISC] (1) Boolean[1] step3.inPort.set
(73)      [ALGB] (1) protected Real transition5.t_dummy
(74)      [ALGB] (1) Real transition3.t
(75)      [DISC] (1) Boolean transition1.inPort.reset
(76)      [DISC] (1) Boolean $FUN_9
(77)      [DISC] (1) Boolean $FUN_8
(78)      [DISC] (1) Boolean[1] step0.outPort.available
(79)      [DISC] (1) Boolean transition4.outPort.set
(80)      [DISC] (1) Boolean transition5.enableFire
(81)      [DISC] (1) Boolean $FUN_7
(82)      [DISC] (1) Boolean $FUN_6
(83)      [DISC] (1) Boolean[1] step1.outPort.available
(84)      [DISC] (1) Boolean $FUN_5
(85)      [DISC] (1) Boolean transition1.inPort.available
(86)      [DISC] (1) Boolean $FUN_4
(87)      [DISC] (1) Boolean $FUN_3
(88)      [DISC] (1) Boolean $TEV_19
(89)      [DISC] (1) Boolean $FUN_2
(90)      [DISC] (1) Boolean $TEV_18
(91)      [DISC] (1) Boolean $FUN_1
(92)      [DISC] (1) Boolean $TEV_17
(93)      [DISC] (1) Boolean $TEV_16
(94)      [DISC] (1) Boolean[1] step6.inPort.set
(95)      [DISC] (1) Boolean $TEV_15
(96)      [DISC] (1) Boolean $TEV_14
(97)      [DISC] (1) Boolean[1] step6.outPort.available
(98)      [DISC] (1) Boolean $TEV_13
(99)      [ALGB] (1) protected flow Real step0.outerStatePort.subgraphStatePort.activeSteps
(100)     [DISC] (1) Boolean $TEV_12
(101)     [DISC] (1) Boolean transition2.outPort.set
(102)     [DISC] (1) Boolean $TEV_11
(103)     [DISC] (1) protected Boolean step4a.newActive
(104)     [DISC] (1) Boolean $TEV_10
(105)     [DISC] (1) Boolean transition7.outPort.occupied
(106)     [DISC] (1) Boolean transition6a.outPort.occupied
(107)     [DISC] (1) protected Boolean step4a.outerStatePort.localActive = step4a.outerStatePort.localActive
(108)     [DISC] (1) protected Boolean step2.outerStatePort.localActive = step2.outerStatePort.localActive
(109)     [ALGB] (1) protected Real transition4.t_dummy
(110)     [DISC] (1) Boolean[1] step4.outPort.reset
(111)     [DISC] (1) Boolean[1] step4.inPort.occupied
(112)     [DISC] (1) Boolean[1] step6.outPort.reset
(113)     [DISC] (1) Boolean[1] step0.inPort.occupied
(114)     [ALGB] (1) protected flow Real step1.outerStatePort.subgraphStatePort.activeSteps
(115)     [DISC] (1) protected Boolean step5.outerStatePort.localActive = step5.outerStatePort.localActive
(116)     [ALGB] (1) protected Real transition6a.t_dummy
(117)     [DISC] (1) protected Boolean step6.newActive
(118)     [DISC] (1) Boolean $FUN_16
(119)     [DISC] (1) Boolean $FUN_15
(120)     [DISC] (1) Boolean $FUN_14
(121)     [DISC] (1) Boolean transition7.outPort.set
(122)     [DISC] (1) Boolean $FUN_13
(123)     [DISC] (1) Boolean $FUN_12
(124)     [DISS] (1) protected Boolean step4a.oldActive
(125)     [DISC] (1) Boolean $FUN_11
(126)     [DISC] (1) Boolean transition1.outPort.occupied
(127)     [DISC] (1) Boolean[1] step2.inPort.occupied
(128)     [DISC] (1) Boolean $FUN_10
(129)     [DISC] (3) Boolean[3] alternative.split.available
(130)     [DISC] (1) Boolean $SEV_9
(131)     [DISC] (1) Boolean $SEV_8
(132)     [DISC] (1) Boolean $SEV_7
(133)     [DISC] (1) Boolean $SEV_6
(134)     [ALGB] (1) Real transition2.t
(135)     [DISC] (1) Boolean $SEV_5
(136)     [DISC] (1) protected Boolean step5.newActive
(137)     [ALGB] (1) protected flow Real step4.outerStatePort.subgraphStatePort.activeSteps
(138)     [DISC] (1) Boolean $SEV_4
(139)     [DISC] (1) Boolean transition4a.enableFire
(140)     [DISC] (1) Boolean $SEV_3
(141)     [DISC] (1) Boolean $SEV_2
(142)     [DISC] (1) Boolean[1] step2.outPort.reset
(143)     [ALGB] (1) flow Real stateGraphRoot.subgraphStatePort.activeSteps
(144)     [DISC] (1) Boolean[1] step0.outPort.reset
(145)     [DISC] (1) Boolean[1] step4a.inPort.occupied
(146)     [ALGB] (1) protected Real transition3.t_dummy
(147)     [ALGB] (1) Real transition6a.t
(148)     [DISC] (1) Boolean transition6.outPort.occupied
(149)     [DISC] (1) Boolean transition1.enableFire
(150)     [DISC] (1) protected Boolean step0.outerStatePort.localActive = step0.outerStatePort.localActive
(151)     [DISS] (1) protected Boolean step6.oldActive
(152)     [ALGB] (1) Real transition6.t
(153)     [DISC] (1) Boolean transition4a.outPort.occupied
(154)     [DISC] (1) Boolean[1] step6.inPort.occupied
(155)     [DISC] (1) Boolean transition3.outPort.set
(156)     [DISC] (1) Boolean[1] step2.inPort.set
(157)     [DISC] (1) protected Boolean step4.newActive
(158)     [DISC] (1) Boolean[1] step4a.outPort.available
(159)     [ALGB] (1) protected flow Real step3.outerStatePort.subgraphStatePort.activeSteps
(160)     [DISC] (1) Boolean transition4.enableFire
(161)     [DISC] (1) Boolean[1] step4.outPort.available
(162)     [DISC] (1) Boolean[1] step3.outPort.available
(163)     [DISS] (1) protected Boolean step5.oldActive
(164)     [DISC] (1) Boolean[1] step5.inPort.set
(165)     [DISC] (1) protected Boolean step3.newActive
(166)     [ALGB] (1) protected Real transition2.t_dummy
(167)     [ALGB] (1) protected flow Real step5.outerStatePort.subgraphStatePort.activeSteps
(168)     [DISC] (1) Boolean alternative.outPort.occupied
(169)     [DISC] (1) Boolean[1] step3.inPort.occupied
(170)     [DISS] (1) protected Boolean step4.oldActive
(171)     [DISC] (1) Boolean transition6a.inPort.available
(172)     [ALGB] (1) protected Real transition4a.t_dummy
(173)     [DISC] (1) Boolean transition4a.inPort.available
(174)     [DISC] (1) protected Boolean step2.newActive
(175)     [DISC] (1) final Boolean transition7.localCondition = transition7.localCondition
(176)     [ALGB] (1) Real transition1.t
(177)     [DISC] (1) Boolean[1] step4a.inPort.set
(178)     [DISC] (1) Boolean transition5.inPort.available
(179)     [DISS] (1) protected Boolean step3.oldActive
(180)     [DISC] (1) Boolean[1] step5.inPort.occupied
(181)     [DISC] (2) Boolean[2] Parallel1.join.reset
(182)     [DISC] (1) protected Boolean step1.newActive
(183)     [ALGB] (1) Real transition5.t
(184)     [ALGB] (1) protected Real transition1.t_dummy
(185)     [DISC] (1) Boolean[1] step2.outPort.available
(186)     [DISC] (1) Boolean alternative.inPort.reset
(187)     [DISS] (1) protected Boolean step2.oldActive
(188)     [DISC] (1) Boolean[1] step4a.outPort.reset
(189)     [DISC] (1) protected Boolean step0.newActive
(190)     [DISC] (2) Boolean[2] Parallel1.join.available
(191)     [ALGB] (1) Real transition4a.t
(192)     [DISC] (1) Boolean[1] step1.inPort.set
(193)     [DISC] (3) Boolean[3] alternative.join.occupied
(194)     [DISC] (2) Boolean[2] Parallel1.split.occupied
(195)     [DISS] (1) protected Boolean step1.oldActive
(196)     [DISC] (1) Boolean[1] step1.outPort.reset
(197)     [DISC] (1) protected Boolean step3.outerStatePort.localActive = step3.outerStatePort.localActive
(198)     [DISC] (1) Boolean[1] step3.outPort.reset
(199)     [DISC] (1) Boolean transition3.enableFire
(200)     [DISC] (1) protected Boolean step4.outerStatePort.localActive = step4.outerStatePort.localActive
(201)     [DISC] (1) Boolean transition3.outPort.occupied
(202)     [DISC] (1) Boolean alternative.outPort.set
(203)     [DISC] (1) Integer stateGraphRoot.activeSteps
(204)     [DISC] (1) Boolean[1] step4.inPort.set
(205)     [DISC] (1) Boolean transition2.outPort.occupied
(206)     [DISC] (1) Boolean transition6a.enableFire
(207)     [DISC] (3) Boolean[3] alternative.join.set


System Equations (229/239)
****************************
(1)       [SCAL] (1) step0.outPort[1].reset = transition1.inPort.reset ($RES_SIM_204)
(2)       [SCAL] (1) step0.outPort[1].available = transition1.inPort.available ($RES_SIM_205)
(3)       [WHEN] (1)when transition4a.enableFire then 
(3)       [----]   time - transition4a.t_dummy := time
(3)       [----] end when;
(4)       [SCAL] (1) step3.outPort[1].reset = false ($RES_SIM_120)
(5)       [SCAL] (1) step1.outPort[1].reset = Parallel1.join[2].reset ($RES_SIM_206)
(6)       [SCAL] (1) step3.inPort[1].set = false ($RES_SIM_121)
(7)       [SCAL] (1) step1.outPort[1].available = Parallel1.join[2].available ($RES_SIM_207)
(8)       [SCAL] (1) step3.outPort[1].available = step3.outerStatePort.localActive ($RES_SIM_122)
(9)       [SCAL] (1) step2.inPort[1].set = Parallel1.split[1].set ($RES_SIM_208)
(10)      [SCAL] (1) transition7.outPort.set = $SEV_7 ($RES_SIM_83)
(11)      [SCAL] (1) step3.inPort[1].occupied = step3.outerStatePort.localActive ($RES_SIM_123)
(12)      [SCAL] (1) step2.inPort[1].occupied = Parallel1.split[1].occupied ($RES_SIM_209)
(13)      [WHEN] (1)when false then 
(13)      [----]   step3.oldActive := step3.outerStatePort.localActive
(13)      [----] end when;
(14)      [SCAL] (1) step3.newActive = $SEV_14 ($RES_SIM_125)
(15)      [SCAL] (1) step3.outerStatePort.localActive = $TEV_16 ($RES_SIM_126)
(16)      [SCAL] (1) step5.outPort[1].reset = false ($RES_SIM_88)
(17)      [SCAL] (1) step3.outerStatePort.subgraphStatePort.activeSteps = if step3.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_128)
(18)      [SCAL] (1) step5.inPort[1].set = false ($RES_SIM_89)
(19)      [SCAL] (1) $SEV_9 = transition6.inPort.available and not transition6.outPort.occupied ($RES_EVT_370)
(20)      [SCAL] (1) $SEV_10 = transition6.enableFire and time >= ((time - transition6.t_dummy) + transition6.waitTime) ($RES_EVT_371)
(21)      [SCAL] (1) $SEV_11 = transition5.inPort.available and not transition5.outPort.occupied ($RES_EVT_372)
(22)      [SCAL] (1) $SEV_12 = transition5.enableFire and time >= ((time - transition5.t_dummy) + transition5.waitTime) ($RES_EVT_373)
(23)      [SCAL] (1) $SEV_13 = $FUN_11 or step4.outerStatePort.localActive and not $FUN_12 ($RES_EVT_374)
(24)      [SCAL] (1) $SEV_14 = $FUN_9 or step3.outerStatePort.localActive and not $FUN_10 ($RES_EVT_375)
(25)      [SCAL] (1) $SEV_15 = transition4.inPort.available and not transition4.outPort.occupied ($RES_EVT_376)
(26)      [SCAL] (1) $SEV_16 = transition4.enableFire and time >= ((time - transition4.t_dummy) + transition4.waitTime) ($RES_EVT_377)
(27)      [SCAL] (1) $SEV_17 = transition3.inPort.available and not transition3.outPort.occupied ($RES_EVT_378)
(28)      [SCAL] (1) $SEV_18 = transition3.enableFire and time >= ((time - transition3.t_dummy) + transition3.waitTime) ($RES_EVT_379)
(29)      [SCAL] (1) alternative.outPort.set = step5.inPort[1].set ($RES_SIM_210)
(30)      [SCAL] (1) alternative.outPort.occupied = step5.inPort[1].occupied ($RES_SIM_211)
(31)      [SCAL] (1) step2.outPort[1].reset = alternative.inPort.reset ($RES_SIM_212)
(32)      [SCAL] (1) step2.outPort[1].available = alternative.inPort.available ($RES_SIM_213)
(33)      [SCAL] (1) transition6a.outPort.set = alternative.join[3].set ($RES_SIM_214)
(34)      [SCAL] (1) transition6a.outPort.occupied = alternative.join[3].occupied ($RES_SIM_215)
(35)      [SCAL] (1) step5.outPort[1].available = step5.outerStatePort.localActive ($RES_SIM_90)
(36)      [SCAL] (1) transition4.enableFire = $SEV_15 ($RES_SIM_131)
(37)      [SCAL] (1) transition6.outPort.set = alternative.join[2].set ($RES_SIM_216)
(38)      [SCAL] (1) step5.inPort[1].occupied = step5.outerStatePort.localActive ($RES_SIM_91)
(39)      [SCAL] (1) transition6.outPort.occupied = alternative.join[2].occupied ($RES_SIM_217)
(40)      [WHEN] (1)when false then 
(40)      [----]   step5.oldActive := step5.outerStatePort.localActive
(40)      [----] end when;
(41)      [SCAL] (1) transition4.outPort.set = $SEV_16 ($RES_SIM_132)
(42)      [SCAL] (1) transition5.outPort.set = alternative.join[1].set ($RES_SIM_218)
(43)      [SCAL] (1) step5.newActive = $SEV_8 ($RES_SIM_93)
(44)      [SCAL] (1) transition4.t = if transition4.enableFire then transition4.t_dummy else 0.0 ($RES_SIM_133)
(45)      [SCAL] (1) transition5.outPort.occupied = alternative.join[1].occupied ($RES_SIM_219)
(46)      [SCAL] (1) step5.outerStatePort.localActive = $TEV_8 ($RES_SIM_94)
(47)      [WHEN] (1)when transition4.enableFire then 
(47)      [----]   time - transition4.t_dummy := time
(47)      [----] end when;
(48)      [SCAL] (1) step5.outerStatePort.subgraphStatePort.activeSteps = if step5.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_96)
(49)      [SCAL] (1) transition3.enableFire = $SEV_17 ($RES_SIM_138)
(50)      [SCAL] (1) transition6.enableFire = $SEV_9 ($RES_SIM_99)
(51)      [SCAL] (1) transition3.outPort.set = $SEV_18 ($RES_SIM_139)
(52)      [SCAL] (1) $SEV_19 = $FUN_7 or step2.outerStatePort.localActive and not $FUN_8 ($RES_EVT_380)
(53)      [SCAL] (1) $SEV_20 = $FUN_5 or step6.outerStatePort.localActive and not $FUN_6 ($RES_EVT_381)
(54)      [SCAL] (1) $SEV_21 = Parallel1.outPort.available and not transition2.outPort.occupied ($RES_EVT_382)
(55)      [SCAL] (1) $SEV_22 = transition2.enableFire and time >= ((time - transition2.t_dummy) + transition2.waitTime) ($RES_EVT_383)
(56)      [SCAL] (1) $SEV_23 = $FUN_3 or step1.outerStatePort.localActive and not $FUN_4 ($RES_EVT_384)
(57)      [SCAL] (1) $SEV_24 = transition1.inPort.available and not transition1.outPort.occupied ($RES_EVT_385)
(58)      [SCAL] (1) $SEV_25 = transition1.enableFire and time >= ((time - transition1.t_dummy) + transition1.waitTime) ($RES_EVT_386)
(59)      [SCAL] (1) $SEV_26 = $FUN_1 or step0.outerStatePort.localActive and not $FUN_2 ($RES_EVT_387)
(60)      [SCAL] (1) transition4a.outPort.set = alternative.split[3].reset ($RES_SIM_220)
(61)      [SCAL] (1) transition4a.inPort.available = alternative.split[3].available ($RES_SIM_221)
(62)      [SCAL] (1) transition4.outPort.set = alternative.split[2].reset ($RES_SIM_222)
(63)      [SCAL] (1) transition4.inPort.available = alternative.split[2].available ($RES_SIM_223)
(64)      [SCAL] (1) transition3.outPort.set = alternative.split[1].reset ($RES_SIM_224)
(65)      [SCAL] (1) transition3.inPort.available = alternative.split[1].available ($RES_SIM_225)
(66)      [SCAL] (1) transition3.t = if transition3.enableFire then transition3.t_dummy else 0.0 ($RES_SIM_140)
(67)      [WHEN] (1)when transition3.enableFire then 
(67)      [----]   time - transition3.t_dummy := time
(67)      [----] end when;
(68)      [SCAL] (1) step4a.outPort[1].reset = transition6a.outPort.set ($RES_SIM_228)
(69)      [SCAL] (1) step2.outPort[1].reset = false ($RES_SIM_143)
(70)      [SCAL] (1) step4a.outPort[1].available = transition6a.inPort.available ($RES_SIM_229)
(71)      [SCAL] (1) step2.inPort[1].set = false ($RES_SIM_144)
(72)      [SCAL] (1) step2.outPort[1].available = step2.outerStatePort.localActive ($RES_SIM_145)
(73)      [SCAL] (1) step2.inPort[1].occupied = step2.outerStatePort.localActive ($RES_SIM_146)
(74)      [WHEN] (1)when false then 
(74)      [----]   step2.oldActive := step2.outerStatePort.localActive
(74)      [----] end when;
(75)      [SCAL] (1) step2.newActive = $SEV_19 ($RES_SIM_148)
(76)      [SCAL] (1) step2.outerStatePort.localActive = $TEV_21 ($RES_SIM_149)
(77)      [SCAL] (1) transition4a.outPort.set = step4a.inPort[1].set ($RES_SIM_230)
(78)      [SCAL] (1) transition4a.outPort.occupied = step4a.inPort[1].occupied ($RES_SIM_231)
(79)      [SCAL] (1) step6.outPort[1].reset = transition7.outPort.set ($RES_SIM_232)
(80)      [SCAL] (1) step6.outPort[1].available = transition7.inPort.available ($RES_SIM_233)
(81)      [SCAL] (1) transition7.outPort.set = step0.inPort[1].set ($RES_SIM_234)
(82)      [SCAL] (1) transition7.outPort.occupied = step0.inPort[1].occupied ($RES_SIM_235)
(83)      [SCAL] (1) step4.outPort[1].reset = transition6.outPort.set ($RES_SIM_236)
(84)      [SCAL] (1) step2.outerStatePort.subgraphStatePort.activeSteps = if step2.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_151)
(85)      [SCAL] (1) step4.outPort[1].available = transition6.inPort.available ($RES_SIM_237)
(86)      [SCAL] (1) step6.outPort[1].reset = false ($RES_SIM_152)
(87)      [SCAL] (1) transition4.outPort.set = step4.inPort[1].set ($RES_SIM_238)
(88)      [SCAL] (1) step6.inPort[1].set = false ($RES_SIM_153)
(89)      [SCAL] (1) transition7.localCondition = $TEV_33 ($RES_BND_289)
(90)      [SCAL] (1) transition4.outPort.occupied = step4.inPort[1].occupied ($RES_SIM_239)
(91)      [SCAL] (1) step6.outPort[1].available = step6.outerStatePort.localActive ($RES_SIM_154)
(92)      [SCAL] (1) step6.inPort[1].occupied = step6.outerStatePort.localActive ($RES_SIM_155)
(93)      [WHEN] (1)when false then 
(93)      [----]   step6.oldActive := step6.outerStatePort.localActive
(93)      [----] end when;
(94)      [SCAL] (1) step6.newActive = $SEV_20 ($RES_SIM_157)
(95)      [SCAL] (1) step6.outerStatePort.localActive = $TEV_24 ($RES_SIM_158)
(96)      [SCAL] (1) $TEV_0 = $PRE.transition6a.enableFire ($RES_EVT_325)
(97)      [SCAL] (1) $TEV_1 = $PRE.step4a.oldActive ($RES_EVT_326)
(98)      [SCAL] (1) $TEV_2 = $PRE.step4a.outerStatePort.localActive ($RES_EVT_327)
(99)      [SCAL] (1) $TEV_3 = $PRE.step4a.newActive ($RES_EVT_328)
(100)     [SCAL] (1) $TEV_4 = $PRE.transition4a.enableFire ($RES_EVT_329)
(101)     [SCAL] (1) step3.outPort[1].reset = transition5.outPort.set ($RES_SIM_240)
(102)     [SCAL] (1) step3.outPort[1].available = transition5.inPort.available ($RES_SIM_241)
(103)     [SCAL] (1) transition3.outPort.set = step3.inPort[1].set ($RES_SIM_242)
(104)     [SCAL] (1) stateGraphRoot.activeSteps = -integer(stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_44)
(105)     [SCAL] (1) transition3.outPort.occupied = step3.inPort[1].occupied ($RES_SIM_243)
(106)     [SCAL] (1) step6.outerStatePort.subgraphStatePort.activeSteps = if step6.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_160)
(107)     [ARRY] (2) Parallel1.join.reset = {transition2.outPort.set for $i1 in 1:2} ($RES_SIM_47)
(108)     [ARRY] (2) Parallel1.split.set = {transition1.inPort.reset for $i1 in 1:2} ($RES_SIM_48)
(109)     [SCAL] (1) transition2.enableFire = $SEV_21 ($RES_SIM_163)
(110)     [SCAL] (1) transition2.outPort.set = $SEV_22 ($RES_SIM_164)
(111)     [SCAL] (1) transition2.t = if transition2.enableFire then transition2.t_dummy else 0.0 ($RES_SIM_165)
(112)     [WHEN] (1)when transition2.enableFire then 
(112)     [----]   time - transition2.t_dummy := time
(112)     [----] end when;
(113)     [SCAL] (1) step1.outPort[1].reset = false ($RES_SIM_168)
(114)     [SCAL] (1) step1.inPort[1].set = false ($RES_SIM_169)
(115)     [SCAL] (1) $TEV_5 = $PRE.transition7.outPort.set ($RES_EVT_330)
(116)     [SCAL] (1) $TEV_6 = $PRE.step5.oldActive ($RES_EVT_331)
(117)     [SCAL] (1) $TEV_7 = $PRE.step5.outerStatePort.localActive ($RES_EVT_332)
(118)     [SCAL] (1) $TEV_8 = $PRE.step5.newActive ($RES_EVT_333)
(119)     [SCAL] (1) $TEV_9 = $PRE.transition6.enableFire ($RES_EVT_334)
(120)     [SCAL] (1) $TEV_10 = $PRE.transition5.enableFire ($RES_EVT_335)
(121)     [SCAL] (1) $TEV_11 = $PRE.step4.oldActive ($RES_EVT_336)
(122)     [SCAL] (1) $TEV_12 = $PRE.step4.outerStatePort.localActive ($RES_EVT_337)
(123)     [SCAL] (1) $TEV_13 = $PRE.step4.newActive ($RES_EVT_338)
(124)     [SCAL] (1) $TEV_14 = $PRE.step3.oldActive ($RES_EVT_339)
(125)     [ARRY] (3) alternative.join.occupied = {alternative.outPort.occupied for $i1 in 1:3} ($RES_SIM_53)
(126)     [FOR-] (3) ($RES_SIM_54)
(126)     [----] for $i1 in 1:3 loop
(126)     [----]   [SCAL] (1) alternative.split[$i1].available = if $SEV_0[$i1] then alternative.inPort.available else $SEV_1[$i1] ($RES_SIM_55)
(126)     [----] end for;
(127)     [SCAL] (1) step1.outPort[1].available = step1.outerStatePort.localActive ($RES_SIM_170)
(128)     [SCAL] (1) step1.inPort[1].occupied = step1.outerStatePort.localActive ($RES_SIM_171)
(129)     [WHEN] (1)when false then 
(129)     [----]   step1.oldActive := step1.outerStatePort.localActive
(129)     [----] end when;
(130)     [SCAL] (1) step1.newActive = $SEV_23 ($RES_SIM_173)
(131)     [SCAL] (1) step1.outerStatePort.localActive = $TEV_28 ($RES_SIM_174)
(132)     [SCAL] (1) step1.outerStatePort.subgraphStatePort.activeSteps = if step1.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_176)
(133)     [SCAL] (1) transition1.enableFire = $SEV_24 ($RES_SIM_179)
(134)     [SCAL] (1) $TEV_15 = $PRE.step3.outerStatePort.localActive ($RES_EVT_340)
(135)     [SCAL] (1) $FUN_1 = Modelica.StateGraph.Temporary.anyTrue(step0.inPort.set) ($RES_$AUX_316)
(136)     [SCAL] (1) $TEV_16 = $PRE.step3.newActive ($RES_EVT_341)
(137)     [SCAL] (1) $FUN_2 = Modelica.StateGraph.Temporary.anyTrue(step0.outPort.reset) ($RES_$AUX_315)
(138)     [SCAL] (1) $TEV_17 = $PRE.transition4.enableFire ($RES_EVT_342)
(139)     [SCAL] (1) $FUN_3 = Modelica.StateGraph.Temporary.anyTrue(step1.inPort.set) ($RES_$AUX_314)
(140)     [SCAL] (1) $TEV_18 = $PRE.transition3.enableFire ($RES_EVT_343)
(141)     [SCAL] (1) $FUN_4 = Modelica.StateGraph.Temporary.anyTrue(step1.outPort.reset) ($RES_$AUX_313)
(142)     [SCAL] (1) $TEV_19 = $PRE.step2.oldActive ($RES_EVT_344)
(143)     [SCAL] (1) $FUN_5 = Modelica.StateGraph.Temporary.anyTrue(step6.inPort.set) ($RES_$AUX_312)
(144)     [SCAL] (1) $TEV_20 = $PRE.step2.outerStatePort.localActive ($RES_EVT_345)
(145)     [SCAL] (1) $FUN_6 = Modelica.StateGraph.Temporary.anyTrue(step6.outPort.reset) ($RES_$AUX_311)
(146)     [SCAL] (1) $TEV_21 = $PRE.step2.newActive ($RES_EVT_346)
(147)     [SCAL] (1) $FUN_7 = Modelica.StateGraph.Temporary.anyTrue(step2.inPort.set) ($RES_$AUX_310)
(148)     [SCAL] (1) $TEV_22 = $PRE.step6.oldActive ($RES_EVT_347)
(149)     [SCAL] (1) $TEV_23 = $PRE.step6.outerStatePort.localActive ($RES_EVT_348)
(150)     [SCAL] (1) $TEV_24 = $PRE.step6.newActive ($RES_EVT_349)
(151)     [SCAL] (1) transition6.outPort.set = $SEV_10 ($RES_SIM_100)
(152)     [SCAL] (1) transition6a.enableFire = $SEV_2 ($RES_SIM_60)
(153)     [SCAL] (1) transition6.t = if transition6.enableFire then transition6.t_dummy else 0.0 ($RES_SIM_101)
(154)     [SCAL] (1) transition6a.outPort.set = $SEV_3 ($RES_SIM_61)
(155)     [SCAL] (1) transition6a.t = if transition6a.enableFire then transition6a.t_dummy else 0.0 ($RES_SIM_62)
(156)     [WHEN] (1)when transition6.enableFire then 
(156)     [----]   time - transition6.t_dummy := time
(156)     [----] end when;
(157)     [WHEN] (1)when transition6a.enableFire then 
(157)     [----]   time - transition6a.t_dummy := time
(157)     [----] end when;
(158)     [SCAL] (1) step4a.outPort[1].reset = false ($RES_SIM_65)
(159)     [SCAL] (1) transition5.enableFire = $SEV_11 ($RES_SIM_106)
(160)     [SCAL] (1) step4a.inPort[1].set = false ($RES_SIM_66)
(161)     [SCAL] (1) transition1.inPort.reset = $SEV_25 ($RES_SIM_180)
(162)     [SCAL] (1) transition5.outPort.set = $SEV_12 ($RES_SIM_107)
(163)     [SCAL] (1) step4a.outPort[1].available = step4a.outerStatePort.localActive ($RES_SIM_67)
(164)     [SCAL] (1) transition1.t = if transition1.enableFire then transition1.t_dummy else 0.0 ($RES_SIM_181)
(165)     [SCAL] (1) transition5.t = if transition5.enableFire then transition5.t_dummy else 0.0 ($RES_SIM_108)
(166)     [SCAL] (1) step4a.inPort[1].occupied = step4a.outerStatePort.localActive ($RES_SIM_68)
(167)     [WHEN] (1)when false then 
(167)     [----]   step4a.oldActive := step4a.outerStatePort.localActive
(167)     [----] end when;
(168)     [WHEN] (1)when transition1.enableFire then 
(168)     [----]   time - transition1.t_dummy := time
(168)     [----] end when;
(169)     [SCAL] (1) step0.outPort[1].reset = false ($RES_SIM_184)
(170)     [SCAL] (1) step0.inPort[1].set = false ($RES_SIM_185)
(171)     [SCAL] (1) step0.outPort[1].available = step0.outerStatePort.localActive ($RES_SIM_186)
(172)     [SCAL] (1) step0.inPort[1].occupied = step0.outerStatePort.localActive ($RES_SIM_187)
(173)     [SCAL] (1) $FUN_8 = Modelica.StateGraph.Temporary.anyTrue(step2.outPort.reset) ($RES_$AUX_309)
(174)     [WHEN] (1)when false then 
(174)     [----]   step0.oldActive := step0.outerStatePort.localActive
(174)     [----] end when;
(175)     [SCAL] (1) $FUN_9 = Modelica.StateGraph.Temporary.anyTrue(step3.inPort.set) ($RES_$AUX_308)
(176)     [SCAL] (1) step0.newActive = $SEV_26 ($RES_SIM_189)
(177)     [SCAL] (1) $FUN_10 = Modelica.StateGraph.Temporary.anyTrue(step3.outPort.reset) ($RES_$AUX_307)
(178)     [SCAL] (1) $TEV_25 = $PRE.transition2.enableFire ($RES_EVT_350)
(179)     [SCAL] (1) $FUN_11 = Modelica.StateGraph.Temporary.anyTrue(step4.inPort.set) ($RES_$AUX_306)
(180)     [SCAL] (1) $TEV_26 = $PRE.step1.oldActive ($RES_EVT_351)
(181)     [SCAL] (1) $FUN_12 = Modelica.StateGraph.Temporary.anyTrue(step4.outPort.reset) ($RES_$AUX_305)
(182)     [SCAL] (1) $TEV_27 = $PRE.step1.outerStatePort.localActive ($RES_EVT_352)
(183)     [SCAL] (1) $FUN_13 = Modelica.StateGraph.Temporary.anyTrue(step5.inPort.set) ($RES_$AUX_304)
(184)     [SCAL] (1) $TEV_28 = $PRE.step1.newActive ($RES_EVT_353)
(185)     [SCAL] (1) $FUN_14 = Modelica.StateGraph.Temporary.anyTrue(step5.outPort.reset) ($RES_$AUX_303)
(186)     [SCAL] (1) $TEV_29 = $PRE.transition1.enableFire ($RES_EVT_354)
(187)     [SCAL] (1) $FUN_15 = Modelica.StateGraph.Temporary.anyTrue(step4a.inPort.set) ($RES_$AUX_302)
(188)     [SCAL] (1) $TEV_30 = $PRE.step0.oldActive ($RES_EVT_355)
(189)     [SCAL] (1) $FUN_16 = Modelica.StateGraph.Temporary.anyTrue(step4a.outPort.reset) ($RES_$AUX_301)
(190)     [SCAL] (1) $TEV_31 = $PRE.step0.outerStatePort.localActive ($RES_EVT_356)
(191)     [SCAL] (1) alternative.inPort.reset = Modelica.StateGraph.Temporary.anyTrue(alternative.split.reset) ($RES_$AUX_300)
(192)     [SCAL] (1) $TEV_32 = $PRE.step0.newActive ($RES_EVT_357)
(193)     [SCAL] (1) $TEV_33 = time >= 7.0 ($RES_EVT_358)
(194)     [FOR-] (3) ($RES_EVT_359)
(194)     [----] for $i1 in 1:3 loop
(194)     [----]   [SCAL] (1) $SEV_0[$i1] = $i1 == 1 ($RES_EVT_360)
(194)     [----] end for;
(195)     [WHEN] (1)when transition5.enableFire then 
(195)     [----]   time - transition5.t_dummy := time
(195)     [----] end when;
(196)     [SCAL] (1) step4a.newActive = $SEV_4 ($RES_SIM_70)
(197)     [SCAL] (1) step4.outPort[1].reset = false ($RES_SIM_111)
(198)     [SCAL] (1) step4a.outerStatePort.localActive = $TEV_3 ($RES_SIM_71)
(199)     [SCAL] (1) step4.inPort[1].set = false ($RES_SIM_112)
(200)     [SCAL] (1) alternative.outPort.set = Modelica.StateGraph.Temporary.anyTrue(alternative.join.set) ($RES_$AUX_299)
(201)     [SCAL] (1) step4.outPort[1].available = step4.outerStatePort.localActive ($RES_SIM_113)
(202)     [SCAL] (1) step4a.outerStatePort.subgraphStatePort.activeSteps = if step4a.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_73)
(203)     [SCAL] (1) transition1.outPort.occupied = Modelica.StateGraph.Temporary.anyTrue(Parallel1.split.occupied) ($RES_$AUX_298)
(204)     [SCAL] (1) step4.inPort[1].occupied = step4.outerStatePort.localActive ($RES_SIM_114)
(205)     [SCAL] (1) Parallel1.outPort.available = Modelica.StateGraph.Temporary.allTrue(Parallel1.join.available) ($RES_$AUX_297)
(206)     [WHEN] (1)when false then 
(206)     [----]   step4.oldActive := step4.outerStatePort.localActive
(206)     [----] end when;
(207)     [SCAL] (1) step4.newActive = $SEV_13 ($RES_SIM_116)
(208)     [SCAL] (1) transition4a.enableFire = $SEV_5 ($RES_SIM_76)
(209)     [SCAL] (1) step0.outerStatePort.localActive = $TEV_32 ($RES_SIM_190)
(210)     [SCAL] (1) step4.outerStatePort.localActive = $TEV_13 ($RES_SIM_117)
(211)     [SCAL] (1) transition4a.outPort.set = $SEV_6 ($RES_SIM_77)
(212)     [SCAL] (1) transition4a.t = if transition4a.enableFire then transition4a.t_dummy else 0.0 ($RES_SIM_78)
(213)     [SCAL] (1) step0.outerStatePort.subgraphStatePort.activeSteps = if step0.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_192)
(214)     [SCAL] (1) step4.outerStatePort.subgraphStatePort.activeSteps = if step4.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_119)
(215)     [SCAL] (1) step1.outerStatePort.subgraphStatePort.activeSteps + step6.outerStatePort.subgraphStatePort.activeSteps + step2.outerStatePort.subgraphStatePort.activeSteps + step3.outerStatePort.subgraphStatePort.activeSteps + step4.outerStatePort.subgraphStatePort.activeSteps + step5.outerStatePort.subgraphStatePort.activeSteps + step4a.outerStatePort.subgraphStatePort.activeSteps + stateGraphRoot.subgraphStatePort.activeSteps + step0.outerStatePort.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_193)
(216)     [SCAL] (1) Parallel1.split[2].set = step1.inPort[1].set ($RES_SIM_194)
(217)     [SCAL] (1) Parallel1.split[2].occupied = step1.inPort[1].occupied ($RES_SIM_195)
(218)     [SCAL] (1) step5.outPort[1].reset = Parallel1.join[1].reset ($RES_SIM_196)
(219)     [SCAL] (1) step5.outPort[1].available = Parallel1.join[1].available ($RES_SIM_197)
(220)     [FOR-] (3) ($RES_EVT_361)
(220)     [----] for $i1 in 1:3 loop
(220)     [----]   [SCAL] (1) $SEV_1[$i1] = alternative.split[$i1 - 1].available and not alternative.split[$i1 - 1].reset ($RES_EVT_362)
(220)     [----] end for;
(221)     [SCAL] (1) $SEV_2 = transition6a.inPort.available and not transition6a.outPort.occupied ($RES_EVT_363)
(222)     [SCAL] (1) $SEV_3 = transition6a.enableFire and time >= ((time - transition6a.t_dummy) + transition6a.waitTime) ($RES_EVT_364)
(223)     [SCAL] (1) $SEV_4 = $FUN_15 or step4a.outerStatePort.localActive and not $FUN_16 ($RES_EVT_365)
(224)     [SCAL] (1) $SEV_5 = transition4a.inPort.available and not transition4a.outPort.occupied ($RES_EVT_366)
(225)     [SCAL] (1) $SEV_6 = transition4a.enableFire and time >= ((time - transition4a.t_dummy) + transition4a.waitTime) ($RES_EVT_367)
(226)     [SCAL] (1) $SEV_7 = (transition7.localCondition and transition7.inPort.available) and not transition7.outPort.occupied ($RES_EVT_368)
(227)     [SCAL] (1) $SEV_8 = $FUN_13 or step5.outerStatePort.localActive and not $FUN_14 ($RES_EVT_369)
(228)     [SCAL] (1) transition2.outPort.set = step6.inPort[1].set ($RES_SIM_202)
(229)     [SCAL] (1) transition2.outPort.occupied = step6.inPort[1].occupied ($RES_SIM_203)