Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.1_Modelica.StateGraph.Examples.ShowExceptions.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.ShowExceptions,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.1_Modelica.StateGraph.Examples.ShowExceptions")
translateModel(Modelica.StateGraph.Examples.ShowExceptions,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.1_Modelica.StateGraph.Examples.ShowExceptions")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001247/0.001247, allocations: 105.8 kB / 16.42 MB, free: 6.461 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.001154/0.001154, allocations: 189.9 kB / 17.36 MB, free: 5.73 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.38/1.38, allocations: 205.1 MB / 223.2 MB, free: 12.25 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.663e-05/2.664e-05, allocations: 10.16 kB / 327.2 MB, free: 3.367 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.StateGraph.Examples.ShowExceptions): time 0.003478/0.003513, allocations: 2.684 MB / 329.8 MB, free: 0.6641 MB / 270.1 MB
Notification: Performance of NFInst.instExpressions: time 0.001898/0.005424, allocations: 1.22 MB / 331.1 MB, free: 15.44 MB / 286.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0002252/0.00566, allocations: 23.88 kB / 331.1 MB, free: 15.42 MB / 286.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0002933/0.005959, allocations: 142.4 kB / 331.2 MB, free: 15.28 MB / 286.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0003496/0.00633, allocations: 98.94 kB / 331.3 MB, free: 15.18 MB / 286.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.001158/0.007496, allocations: 0.7061 MB / 332 MB, free: 14.47 MB / 286.1 MB
Notification: Performance of NFFlatten.flatten: time 0.001246/0.008751, allocations: 1.503 MB / 333.5 MB, free: 12.96 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.001201/0.00996, allocations: 1.166 MB / 334.7 MB, free: 11.77 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0005718/0.01054, allocations: 0.6819 MB / 335.4 MB, free: 11.09 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0005523/0.0111, allocations: 0.6226 MB / 336 MB, free: 10.46 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0001926/0.0113, allocations: 184 kB / 336.2 MB, free: 10.28 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0002181/0.01153, allocations: 196 kB / 336.4 MB, free: 10.09 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.00101/0.01254, allocations: 1.673 MB / 338 MB, free: 8.398 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.000468/0.01302, allocations: 0.9617 MB / 339 MB, free: 7.422 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0001794/0.0132, allocations: 183.4 kB / 339.2 MB, free: 7.242 MB / 286.1 MB
Notification: Performance of FrontEnd: time 0.0001756/0.01339, allocations: 151 kB / 339.3 MB, free: 7.094 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: 317 (315)
 * Number of variables: 299 (295)
Notification: Performance of Bindings: time 0.004651/0.01804, allocations: 5.07 MB / 344.4 MB, free: 1.816 MB / 286.1 MB
Notification: Performance of FunctionAlias: time 0.0009523/0.019, allocations: 1.041 MB / 345.4 MB, free: 0.7461 MB / 286.1 MB
Notification: Performance of Early Inline: time 0.00355/0.02256, allocations: 3.866 MB / 349.3 MB, free: 12.82 MB / 302.1 MB
Notification: Performance of simplify1: time 0.0003347/0.02291, allocations: 259.6 kB / 349.6 MB, free: 12.57 MB / 302.1 MB
Notification: Performance of Alias: time 0.006259/0.02918, allocations: 6.123 MB / 355.7 MB, free: 5.848 MB / 302.1 MB
Notification: Performance of simplify2: time 0.0002065/0.0294, allocations: 183.7 kB / 355.9 MB, free: 5.668 MB / 302.1 MB
Notification: Performance of Events: time 0.001042/0.03046, allocations: 0.9366 MB / 356.8 MB, free: 4.684 MB / 302.1 MB
Notification: Performance of Detect States: time 0.001406/0.03187, allocations: 1.563 MB / 358.4 MB, free: 3.078 MB / 302.1 MB
Notification: Performance of Partitioning: time 0.001501/0.03338, allocations: 1.46 MB / 359.8 MB, free: 1.582 MB / 302.1 MB
Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency compositeStep.Alternative1.outPort.occupied could not be divided by the body size 2 without rest.
Error: Internal error NBAdjacency.Matrix.createPseudo failed for:
[ARRY] (2) compositeStep.Alternative1.join.occupied = {compositeStep.Alternative1.outPort.occupied for $i1 in 1:2} ($RES_SIM_102)
Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system:
System Variables (251/257)
****************************
(1)       [DISC] (1) Boolean[1] initialStep.outPort.reset
(2)       [DISC] (1) Boolean $SEV_29
(3)       [DISC] (1) Boolean $SEV_28
(4)       [DISC] (1) Boolean $SEV_27
(5)       [DISC] (1) Boolean $SEV_26
(6)       [ALGB] (1) flow Real compositeStep.stateGraphRoot.subgraphStatePort.activeSteps
(7)       [DISC] (1) Boolean $SEV_25
(8)       [DISC] (1) Boolean $SEV_24
(9)       [DISC] (1) final Boolean compositeStep.transition1.localCondition = compositeStep.transition1.localCondition
(10)      [DISC] (1) Boolean $SEV_23
(11)      [DISC] (1) Boolean $SEV_22
(12)      [DISC] (1) protected Boolean compositeStep.newActive
(13)      [DISC] (1) Boolean $SEV_21
(14)      [DISC] (1) Boolean[1] compositeStep.exitStep.outPort.reset
(15)      [DISC] (1) protected Boolean compositeStep.compositeStep12.initStep.newActive
(16)      [DISS] (1) protected Boolean compositeStep.exitStep.oldActive
(17)      [DISC] (1) Boolean transition4.outPort.occupied
(18)      [DISC] (1) Boolean $SEV_20
(19)      [DISC] (1) Boolean $TEV_9
(20)      [DISC] (1) Boolean $TEV_8
(21)      [DISC] (1) Boolean $TEV_7
(22)      [DISC] (1) Boolean $TEV_6
(23)      [DISC] (1) Boolean $TEV_5
(24)      [DISC] (1) Boolean[1] compositeStep.compositeStep12.exitStep.inPort.occupied
(25)      [ALGB] (1) Real transition4.t
(26)      [DISC] (1) Boolean $TEV_4
(27)      [DISC] (1) Boolean compositeStep.compositeStep11.transition.inPort.available
(28)      [DISC] (1) Boolean $TEV_3
(29)      [ALGB] (1) flow Real compositeStep.compositeStep11.outerState.subgraphStatePort.activeSteps
(30)      [DISC] (1) Boolean $TEV_2
(31)      [DISC] (1) Boolean[1] compositeStep.compositeStep11.resume.set
(32)      [DISC] (1) protected Boolean step1.outerStatePort.localActive = step1.outerStatePort.localActive
(33)      [DISC] (1) Boolean $TEV_1
(34)      [DISC] (1) Boolean $TEV_0
(35)      [DISC] (1) Boolean[1] compositeStep.compositeStep11.suspend.available
(36)      [DISC] (1) Boolean compositeStep.compositeStep11.transition.outPort.occupied
(37)      [DISC] (1) Boolean $TEV_38
(38)      [DISC] (1) Boolean $TEV_37
(39)      [DISC] (1) Boolean compositeStep.compositeStep12.stateGraphRoot.suspend = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.suspend.reset) or compositeStep.stateGraphRoot.suspend
(40)      [DISC] (1) Boolean $TEV_36
(41)      [DISC] (1) Boolean $TEV_35
(42)      [DISC] (1) Boolean $TEV_34
(43)      [DISC] (1) Boolean $TEV_33
(44)      [DISC] (1) Boolean compositeStep.compositeStep11.stateGraphRoot.suspend = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.suspend.reset) or compositeStep.stateGraphRoot.suspend
(45)      [DISC] (1) Boolean $TEV_32
(46)      [DISC] (1) Boolean[1] compositeStep.compositeStep12.initStep.outPort.available
(47)      [DISC] (1) Boolean $TEV_31
(48)      [DISC] (1) Boolean $TEV_30
(49)      [DISC] (1) protected Boolean compositeStep.compositeStep11.newActive
(50)      [DISC] (1) Boolean $SEV_19
(51)      [DISC] (1) Boolean compositeStep.Alternative1.outPort.set
(52)      [DISC] (1) protected Boolean compositeStep.compositeStep11.exitStep.outerStatePort.localActive = compositeStep.compositeStep11.exitStep.outerStatePort.localActive
(53)      [DISC] (1) Boolean $SEV_18
(54)      [DISC] (1) Boolean $SEV_17
(55)      [DISC] (1) Boolean $SEV_16
(56)      [DISC] (1) Boolean $SEV_15
(57)      [DISC] (1) protected Boolean compositeStep.exitStep.newActive
(58)      [DISC] (1) Boolean $SEV_14
(59)      [ALGB] (1) protected flow Real compositeStep.compositeStep11.initStep.outerStatePort.subgraphStatePort.activeSteps
(60)      [DISC] (1) Boolean $SEV_13
(61)      [DISC] (1) protected Boolean compositeStep.initStep.newActive
(62)      [DISC] (1) Boolean[1] compositeStep.compositeStep12.resume.occupied
(63)      [DISC] (1) Boolean $SEV_10
(64)      [DISC] (1) Boolean transition3.inPort.available
(65)      [DISC] (2) Boolean[2] compositeStep.Alternative1.split.reset
(66)      [DISC] (1) Boolean compositeStep.transition2.inPort.available
(67)      [DISC] (1) protected Boolean compositeStep.compositeStep12.newActive
(68)      [DISC] (1) Boolean transition4.inPort.available
(69)      [DISC] (1) protected Boolean compositeStep.compositeStep12.initStep.outerStatePort.localActive = compositeStep.compositeStep12.initStep.outerStatePort.localActive
(70)      [DISC] (1) Boolean[1] compositeStep.compositeStep12.initStep.inPort.set
(71)      [DISC] (1) Boolean compositeStep.transition1.inPort.available
(72)      [ALGB] (1) protected Real compositeStep.compositeStep11.transition.t_dummy
(73)      [DISC] (1) protected Integer compositeStep.compositeStep12.activeSteps
(74)      [DISC] (1) Boolean $TEV_29
(75)      [DISC] (1) Boolean $TEV_28
(76)      [DISC] (1) Boolean $TEV_27
(77)      [DISC] (1) Boolean[1] step1.inPort.occupied
(78)      [DISC] (1) Boolean $TEV_26
(79)      [DISC] (1) Boolean $TEV_25
(80)      [DISC] (1) Boolean $TEV_24
(81)      [ALGB] (1) flow Real compositeStep.compositeStep12.outerState.subgraphStatePort.activeSteps
(82)      [DISC] (1) Boolean $TEV_23
(83)      [ALGB] (1) protected flow Real initialStep.outerStatePort.subgraphStatePort.activeSteps
(84)      [DISC] (1) Boolean $TEV_22
(85)      [DISC] (1) Boolean $TEV_21
(86)      [DISC] (1) Boolean[1] compositeStep.resume.set
(87)      [DISC] (1) Boolean $TEV_20
(88)      [DISC] (1) Boolean compositeStep.compositeStep11.transition.enableFire
(89)      [DISC] (1) Boolean[1] initialStep.inPort.occupied
(90)      [DISC] (1) Boolean transition2.enableFire
(91)      [DISS] (1) protected Boolean compositeStep.initStep.oldActive
(92)      [DISC] (1) Boolean[1] compositeStep.compositeStep11.exitStep.inPort.occupied
(93)      [DISC] (1) Boolean[1] compositeStep.compositeStep11.initStep.inPort.set
(94)      [ALGB] (1) Real transition3.t
(95)      [DISC] (1) Boolean[1] compositeStep.compositeStep12.initStep.outPort.reset
(96)      [DISC] (1) Boolean transition1.inPort.reset
(97)      [DISC] (1) Boolean $FUN_9
(98)      [DISC] (1) Boolean $FUN_8
(99)      [DISC] (1) Boolean transition4.outPort.set
(100)     [DISC] (1) Boolean $FUN_7
(101)     [DISC] (1) Boolean $FUN_6
(102)     [DISC] (1) Boolean[1] step1.outPort.available
(103)     [DISC] (1) Boolean $FUN_5
(104)     [DISC] (1) Boolean transition1.inPort.available
(105)     [DISC] (1) Boolean[1] compositeStep.suspend.available
(106)     [ALGB] (1) protected flow Real compositeStep.compositeStep12.exitStep.outerStatePort.subgraphStatePort.activeSteps
(107)     [DISC] (1) Boolean $FUN_4
(108)     [DISC] (1) Boolean $FUN_3
(109)     [DISC] (1) Boolean $TEV_19
(110)     [DISC] (1) Boolean compositeStep.transition2.outPort.occupied
(111)     [DISC] (1) Boolean $FUN_2
(112)     [DISC] (1) Boolean $TEV_18
(113)     [ALGB] (1) flow Real compositeStep.compositeStep11.stateGraphRoot.subgraphStatePort.activeSteps
(114)     [DISC] (1) Boolean $FUN_1
(115)     [DISC] (1) Boolean $FUN_24
(116)     [DISC] (1) Boolean $TEV_17
(117)     [DISC] (1) Boolean compositeStep.compositeStep11.transition.outPort.set
(118)     [DISC] (1) Boolean $FUN_23
(119)     [DISC] (1) Boolean $TEV_16
(120)     [DISC] (1) Boolean $FUN_22
(121)     [DISC] (1) Boolean $TEV_15
(122)     [DISC] (1) Boolean $FUN_21
(123)     [DISC] (1) Boolean $TEV_14
(124)     [DISC] (1) Boolean[1] compositeStep.compositeStep11.initStep.outPort.available
(125)     [DISC] (1) Boolean $FUN_20
(126)     [DISC] (1) Boolean $TEV_13
(127)     [DISC] (1) Boolean $TEV_12
(128)     [DISC] (1) Boolean[1] compositeStep.suspend.reset
(129)     [DISC] (1) Boolean transition2.outPort.set
(130)     [DISC] (1) Boolean $TEV_11
(131)     [DISC] (1) Boolean[1] compositeStep.compositeStep12.exitStep.inPort.set
(132)     [DISC] (1) Boolean $TEV_10
(133)     [DISC] (1) Boolean[1] compositeStep.compositeStep12.exitStep.outPort.reset
(134)     [DISC] (2) Boolean[2] compositeStep.Alternative1.join.set
(135)     [DISC] (1) Boolean[1] compositeStep.compositeStep12.suspend.available
(136)     [DISC] (1) Boolean compositeStep.compositeStep11.stateGraphRoot.resume = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.resume.set) or compositeStep.stateGraphRoot.resume
(137)     [DISC] (1) protected Boolean initialStep.newActive
(138)     [DISC] (1) Boolean compositeStep.compositeStep12.transition.inPort.available
(139)     [DISC] (2) Boolean[2] compositeStep.Alternative1.split.available
(140)     [ALGB] (1) protected Real transition4.t_dummy
(141)     [DISC] (1) Boolean compositeStep.stateGraphRoot.suspend = Modelica.StateGraph.Temporary.anyTrue(compositeStep.suspend.reset) or false
(142)     [DISC] (1) Boolean[1] compositeStep.compositeStep11.exitStep.outPort.available
(143)     [ALGB] (1) protected flow Real compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps
(144)     [ALGB] (1) protected flow Real step1.outerStatePort.subgraphStatePort.activeSteps
(145)     [DISC] (1) protected Boolean initialStep.outerStatePort.localActive = initialStep.outerStatePort.localActive
(146)     [DISC] (1) Boolean $FUN_19
(147)     [DISC] (1) Boolean[1] compositeStep.compositeStep11.exitStep.inPort.set
(148)     [DISC] (1) Boolean compositeStep.outPort.available
(149)     [DISC] (1) protected Boolean compositeStep.compositeStep11.initStep.outerStatePort.localActive = compositeStep.compositeStep11.initStep.outerStatePort.localActive
(150)     [DISC] (1) Boolean $FUN_16
(151)     [ALGB] (1) flow Real compositeStep.compositeStep12.stateGraphRoot.subgraphStatePort.activeSteps
(152)     [DISC] (1) Boolean $FUN_15
(153)     [DISC] (1) Boolean $FUN_14
(154)     [DISC] (1) Boolean $FUN_13
(155)     [DISC] (1) Boolean[1] compositeStep.initStep.outPort.available
(156)     [DISC] (1) Boolean $FUN_12
(157)     [DISC] (1) Boolean $FUN_11
(158)     [DISC] (1) Boolean transition1.outPort.occupied
(159)     [DISC] (1) Boolean $FUN_10
(160)     [DISC] (1) protected Boolean compositeStep.initStep.outerStatePort.localActive = compositeStep.initStep.outerStatePort.localActive
(161)     [DISC] (1) Boolean compositeStep.stateGraphRoot.resume = Modelica.StateGraph.Temporary.anyTrue(compositeStep.resume.set) or false
(162)     [DISC] (1) Boolean compositeStep.Alternative1.inPort.reset
(163)     [DISS] (1) protected Boolean initialStep.oldActive
(164)     [DISC] (1) Boolean[1] compositeStep.compositeStep12.suspend.reset
(165)     [DISC] (1) Boolean $SEV_9
(166)     [DISC] (1) Boolean $SEV_8
(167)     [DISC] (1) Boolean $SEV_7
(168)     [DISC] (1) Boolean $SEV_6
(169)     [DISC] (1) Boolean compositeStep.Alternative1.outPort.occupied
(170)     [ALGB] (1) Real transition2.t
(171)     [DISC] (1) Boolean $SEV_5
(172)     [DISC] (1) Boolean $SEV_4
(173)     [DISC] (1) Boolean $SEV_3
(174)     [ALGB] (1) protected flow Real compositeStep.compositeStep11.exitStep.outerStatePort.subgraphStatePort.activeSteps
(175)     [DISC] (1) Boolean[1] compositeStep.compositeStep11.resume.occupied
(176)     [DISC] (1) Boolean $SEV_2
(177)     [ALGB] (1) flow Real stateGraphRoot.subgraphStatePort.activeSteps
(178)     [DISC] (1) Boolean $SEV_1
(179)     [DISC] (1) Boolean $SEV_0
(180)     [DISC] (1) Boolean compositeStep.compositeStep12.outerState.active = compositeStep.compositeStep12.outerState.active
(181)     [DISC] (1) Boolean[1] compositeStep.initStep.inPort.occupied
(182)     [ALGB] (1) protected Real transition3.t_dummy
(183)     [DISC] (1) Boolean[1] compositeStep.exitStep.inPort.occupied
(184)     [DISC] (1) Boolean transition1.enableFire
(185)     [DISC] (1) Boolean compositeStep.transition3.outPort.set
(186)     [DISC] (2) Boolean[2] $SEV_12[$i1]
(187)     [DISC] (1) Boolean[1] compositeStep.exitStep.outPort.available
(188)     [DISC] (1) Boolean transition3.outPort.set
(189)     [DISC] (1) protected Boolean compositeStep.compositeStep12.exitStep.newActive
(190)     [DISC] (1) protected Boolean compositeStep.compositeStep12.exitStep.outerStatePort.localActive = compositeStep.compositeStep12.exitStep.outerStatePort.localActive
(191)     [DISC] (1) Boolean compositeStep.transition1.outPort.occupied
(192)     [DISC] (1) Boolean transition4.enableFire
(193)     [DISC] (1) protected Integer compositeStep.activeSteps
(194)     [DISC] (1) protected Boolean compositeStep.compositeStep11.initStep.newActive
(195)     [DISC] (1) protected Boolean compositeStep.exitStep.outerStatePort.localActive = compositeStep.exitStep.outerStatePort.localActive
(196)     [DISC] (1) Boolean compositeStep.outerState.active = compositeStep.outerState.active
(197)     [DISC] (1) Boolean[1] initialStep.outPort.available
(198)     [ALGB] (1) protected Real transition2.t_dummy
(199)     [DISC] (1) Boolean compositeStep.transition2.inPort.reset
(200)     [DISC] (1) Boolean compositeStep.transition1.inPort.reset
(201)     [DISS] (1) protected Boolean compositeStep.compositeStep12.exitStep.oldActive
(202)     [DISC] (1) Boolean compositeStep.compositeStep12.transition.outPort.occupied
(203)     [DISC] (1) Boolean[1] compositeStep.initStep.inPort.set
(204)     [DISC] (1) Boolean[1] compositeStep.compositeStep12.resume.set
(205)     [DISC] (1) Boolean compositeStep.compositeStep11.outPort.available
(206)     [ALGB] (1) Real transition1.t
(207)     [DISC] (1) Boolean compositeStep.compositeStep12.outPort.available
(208)     [ALGB] (1) flow Real compositeStep.outerState.subgraphStatePort.activeSteps
(209)     [DISS] (1) protected Boolean compositeStep.compositeStep11.initStep.oldActive
(210)     [DISC] (2) Boolean[2] $SEV_11[$i1]
(211)     [DISC] (1) Boolean[1] compositeStep.compositeStep11.initStep.outPort.reset
(212)     [DISC] (1) Boolean[1] compositeStep.compositeStep11.initStep.inPort.occupied
(213)     [DISC] (1) Boolean compositeStep.Alternative1.inPort.available
(214)     [DISC] (2) Boolean[2] compositeStep.Alternative1.join.occupied
(215)     [DISC] (1) Boolean[1] compositeStep.resume.occupied
(216)     [DISC] (1) Boolean[1] initialStep.inPort.set
(217)     [DISC] (1) Boolean compositeStep.transition4.outPort.occupied
(218)     [DISC] (1) protected Boolean step1.newActive
(219)     [ALGB] (1) protected Real transition1.t_dummy
(220)     [DISC] (1) Boolean compositeStep.transition3.outPort.occupied
(221)     [DISC] (1) Boolean compositeStep.compositeStep12.transition.outPort.set
(222)     [DISC] (1) protected Boolean compositeStep.compositeStep11.exitStep.newActive
(223)     [DISC] (1) Boolean compositeStep.compositeStep12.transition.enableFire
(224)     [DISC] (1) Boolean compositeStep.transition4.outPort.set
(225)     [ALGB] (1) protected flow Real compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps
(226)     [DISC] (1) Boolean[1] compositeStep.compositeStep11.exitStep.outPort.reset
(227)     [DISC] (1) final Boolean compositeStep.transition2.localCondition = compositeStep.transition2.localCondition
(228)     [DISC] (1) Boolean $SEV_32
(229)     [DISC] (1) Boolean $SEV_31
(230)     [DISC] (1) Boolean[1] step1.inPort.set
(231)     [DISC] (1) Boolean $SEV_30
(232)     [DISC] (1) Boolean[1] compositeStep.compositeStep12.initStep.inPort.occupied
(233)     [DISS] (1) protected Boolean compositeStep.compositeStep12.initStep.oldActive
(234)     [DISC] (1) Boolean compositeStep.compositeStep11.outerState.active = compositeStep.compositeStep11.outerState.active
(235)     [DISS] (1) protected Boolean step1.oldActive
(236)     [DISC] (1) Boolean[1] compositeStep.exitStep.inPort.set
(237)     [DISC] (1) Boolean[1] step1.outPort.reset
(238)     [DISC] (1) protected Integer compositeStep.compositeStep11.activeSteps
(239)     [DISS] (1) protected Boolean compositeStep.compositeStep11.exitStep.oldActive
(240)     [ALGB] (1) protected flow Real compositeStep.compositeStep12.initStep.outerStatePort.subgraphStatePort.activeSteps
(241)     [DISC] (1) Boolean transition3.enableFire
(242)     [DISC] (1) Boolean[1] compositeStep.compositeStep12.exitStep.outPort.available
(243)     [DISC] (1) Boolean transition3.outPort.occupied
(244)     [DISC] (1) Boolean[1] compositeStep.compositeStep11.suspend.reset
(245)     [DISC] (1) Boolean[1] compositeStep.initStep.outPort.reset
(246)     [ALGB] (1) Real compositeStep.compositeStep11.transition.t
(247)     [ALGB] (1) Real compositeStep.compositeStep12.transition.t
(248)     [DISC] (1) Integer stateGraphRoot.activeSteps
(249)     [DISC] (1) Boolean compositeStep.compositeStep12.stateGraphRoot.resume = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.resume.set) or compositeStep.stateGraphRoot.resume
(250)     [DISC] (1) Boolean transition2.outPort.occupied
(251)     [ALGB] (1) protected Real compositeStep.compositeStep12.transition.t_dummy


System Equations (271/275)
****************************
(1)       [SCAL] (1) compositeStep.transition4.outPort.set = compositeStep.Alternative1.join[2].set ($RES_SIM_258)
(2)       [SCAL] (1) compositeStep.transition4.outPort.occupied = compositeStep.Alternative1.join[2].occupied ($RES_SIM_259)
(3)       [SCAL] (1) compositeStep.compositeStep11.activeSteps = -integer(compositeStep.compositeStep11.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_170)
(4)       [SCAL] (1) compositeStep.compositeStep11.exitStep.outPort[1].reset = false ($RES_SIM_171)
(5)       [SCAL] (1) compositeStep.compositeStep11.exitStep.inPort[1].set = false ($RES_SIM_172)
(6)       [SCAL] (1) compositeStep.compositeStep11.exitStep.outPort[1].available = compositeStep.compositeStep11.exitStep.outerStatePort.localActive ($RES_SIM_173)
(7)       [SCAL] (1) compositeStep.compositeStep11.exitStep.inPort[1].occupied = compositeStep.compositeStep11.exitStep.outerStatePort.localActive ($RES_SIM_174)
(8)       [WHEN] (1)when compositeStep.compositeStep11.stateGraphRoot.suspend then 
(8)       [----]   compositeStep.compositeStep11.exitStep.oldActive := compositeStep.compositeStep11.exitStep.outerStatePort.localActive
(8)       [----] end when;
(9)       [SCAL] (1) compositeStep.compositeStep11.exitStep.newActive = if compositeStep.compositeStep11.stateGraphRoot.resume then compositeStep.compositeStep11.exitStep.oldActive else $SEV_22 ($RES_SIM_176)
(10)      [SCAL] (1) compositeStep.compositeStep11.exitStep.outerStatePort.localActive = $TEV_25 ($RES_SIM_177)
(11)      [SCAL] (1) compositeStep.compositeStep11.exitStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.compositeStep11.exitStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_179)
(12)      [SCAL] (1) compositeStep.transition3.outPort.set = compositeStep.Alternative1.join[1].set ($RES_SIM_260)
(13)      [SCAL] (1) compositeStep.transition3.outPort.occupied = compositeStep.Alternative1.join[1].occupied ($RES_SIM_261)
(14)      [SCAL] (1) compositeStep.transition2.inPort.reset = compositeStep.Alternative1.split[2].reset ($RES_SIM_262)
(15)      [SCAL] (1) compositeStep.transition2.inPort.available = compositeStep.Alternative1.split[2].available ($RES_SIM_263)
(16)      [SCAL] (1) compositeStep.transition1.inPort.reset = compositeStep.Alternative1.split[1].reset ($RES_SIM_264)
(17)      [SCAL] (1) compositeStep.transition1.inPort.available = compositeStep.Alternative1.split[1].available ($RES_SIM_265)
(18)      [SCAL] (1) compositeStep.Alternative1.outPort.set = compositeStep.exitStep.inPort[1].set ($RES_SIM_266)
(19)      [SCAL] (1) compositeStep.Alternative1.outPort.occupied = compositeStep.exitStep.inPort[1].occupied ($RES_SIM_267)
(20)      [SCAL] (1) compositeStep.initStep.outPort[1].reset = compositeStep.Alternative1.inPort.reset ($RES_SIM_268)
(21)      [SCAL] (1) compositeStep.initStep.outPort[1].available = compositeStep.Alternative1.inPort.available ($RES_SIM_269)
(22)      [SCAL] (1) $TEV_0 = $PRE.transition4.enableFire ($RES_EVT_391)
(23)      [SCAL] (1) $TEV_1 = $PRE.step1.oldActive ($RES_EVT_392)
(24)      [SCAL] (1) $TEV_2 = $PRE.step1.outerStatePort.localActive ($RES_EVT_393)
(25)      [SCAL] (1) $TEV_3 = $PRE.step1.newActive ($RES_EVT_394)
(26)      [SCAL] (1) $TEV_4 = $PRE.transition3.enableFire ($RES_EVT_395)
(27)      [SCAL] (1) $TEV_5 = $PRE.transition2.enableFire ($RES_EVT_396)
(28)      [SCAL] (1) $TEV_6 = $PRE.transition1.enableFire ($RES_EVT_397)
(29)      [SCAL] (1) $TEV_7 = $PRE.initialStep.oldActive ($RES_EVT_398)
(30)      [SCAL] (1) $TEV_8 = $PRE.initialStep.outerStatePort.localActive ($RES_EVT_399)
(31)      [SCAL] (1) compositeStep.compositeStep11.initStep.outPort[1].reset = false ($RES_SIM_180)
(32)      [SCAL] (1) compositeStep.compositeStep11.initStep.inPort[1].set = false ($RES_SIM_181)
(33)      [SCAL] (1) compositeStep.compositeStep11.initStep.outPort[1].available = compositeStep.compositeStep11.initStep.outerStatePort.localActive ($RES_SIM_182)
(34)      [SCAL] (1) compositeStep.compositeStep11.initStep.inPort[1].occupied = compositeStep.compositeStep11.initStep.outerStatePort.localActive ($RES_SIM_183)
(35)      [WHEN] (1)when compositeStep.compositeStep11.stateGraphRoot.suspend then 
(35)      [----]   compositeStep.compositeStep11.initStep.oldActive := compositeStep.compositeStep11.initStep.outerStatePort.localActive
(35)      [----] end when;
(36)      [SCAL] (1) compositeStep.compositeStep11.initStep.newActive = if compositeStep.compositeStep11.stateGraphRoot.resume then compositeStep.compositeStep11.initStep.oldActive else $SEV_23 ($RES_SIM_185)
(37)      [SCAL] (1) compositeStep.compositeStep11.initStep.outerStatePort.localActive = $TEV_28 ($RES_SIM_186)
(38)      [SCAL] (1) compositeStep.compositeStep11.initStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.compositeStep11.initStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_188)
(39)      [SCAL] (1) compositeStep.initStep.inPort[1].set = transition1.inPort.reset ($RES_SIM_278)
(40)      [SCAL] (1) compositeStep.initStep.inPort[1].occupied = transition1.outPort.occupied ($RES_SIM_279)
(41)      [SCAL] (1) compositeStep.compositeStep11.transition.enableFire = $SEV_24 ($RES_SIM_191)
(42)      [SCAL] (1) compositeStep.compositeStep11.transition.outPort.set = $SEV_25 ($RES_SIM_192)
(43)      [SCAL] (1) compositeStep.compositeStep11.transition.t = if compositeStep.compositeStep11.transition.enableFire then compositeStep.compositeStep11.transition.t_dummy else 0.0 ($RES_SIM_193)
(44)      [WHEN] (1)when compositeStep.compositeStep11.transition.enableFire then 
(44)      [----]   time - compositeStep.compositeStep11.transition.t_dummy := time
(44)      [----] end when;
(45)      [SCAL] (1) compositeStep.compositeStep11.outerState.subgraphStatePort.activeSteps = if compositeStep.compositeStep11.outerState.active then 1.0 else 0.0 ($RES_SIM_196)
(46)      [SCAL] (1) compositeStep.exitStep.outPort[1].reset = transition2.outPort.set ($RES_SIM_280)
(47)      [SCAL] (1) compositeStep.exitStep.outPort[1].available = compositeStep.outPort.available ($RES_SIM_281)
(48)      [SCAL] (1) compositeStep.compositeStep12.transition.outPort.set = compositeStep.compositeStep12.exitStep.inPort[1].set ($RES_SIM_282)
(49)      [SCAL] (1) compositeStep.compositeStep12.transition.outPort.occupied = compositeStep.compositeStep12.exitStep.inPort[1].occupied ($RES_SIM_283)
(50)      [SCAL] (1) compositeStep.compositeStep12.initStep.outPort[1].reset = compositeStep.compositeStep12.transition.outPort.set ($RES_SIM_284)
(51)      [SCAL] (1) compositeStep.compositeStep12.initStep.outPort[1].available = compositeStep.compositeStep12.transition.inPort.available ($RES_SIM_285)
(52)      [SCAL] (1) compositeStep.compositeStep12.initStep.inPort[1].set = compositeStep.transition2.inPort.reset ($RES_SIM_286)
(53)      [SCAL] (1) compositeStep.compositeStep12.initStep.inPort[1].occupied = compositeStep.transition2.outPort.occupied ($RES_SIM_287)
(54)      [SCAL] (1) compositeStep.compositeStep12.exitStep.outPort[1].reset = compositeStep.transition4.outPort.set ($RES_SIM_288)
(55)      [SCAL] (1) compositeStep.compositeStep12.exitStep.outPort[1].available = compositeStep.compositeStep12.outPort.available ($RES_SIM_289)
(56)      [SCAL] (1) compositeStep.compositeStep11.transition.outPort.set = compositeStep.compositeStep11.exitStep.inPort[1].set ($RES_SIM_296)
(57)      [SCAL] (1) compositeStep.compositeStep11.transition.outPort.occupied = compositeStep.compositeStep11.exitStep.inPort[1].occupied ($RES_SIM_297)
(58)      [SCAL] (1) compositeStep.compositeStep11.initStep.outPort[1].reset = compositeStep.compositeStep11.transition.outPort.set ($RES_SIM_298)
(59)      [SCAL] (1) compositeStep.compositeStep11.initStep.outPort[1].available = compositeStep.compositeStep11.transition.inPort.available ($RES_SIM_299)
(60)      [SCAL] (1) stateGraphRoot.activeSteps = -integer(stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_46)
(61)      [SCAL] (1) transition4.enableFire = $SEV_0 ($RES_SIM_49)
(62)      [SCAL] (1) transition4.outPort.set = $SEV_1 ($RES_SIM_50)
(63)      [SCAL] (1) transition4.t = if transition4.enableFire then transition4.t_dummy else 0.0 ($RES_SIM_51)
(64)      [WHEN] (1)when transition4.enableFire then 
(64)      [----]   time - transition4.t_dummy := time
(64)      [----] end when;
(65)      [SCAL] (1) step1.outPort[1].reset = false ($RES_SIM_54)
(66)      [SCAL] (1) step1.inPort[1].set = false ($RES_SIM_55)
(67)      [SCAL] (1) step1.outPort[1].available = step1.outerStatePort.localActive ($RES_SIM_56)
(68)      [SCAL] (1) step1.inPort[1].occupied = step1.outerStatePort.localActive ($RES_SIM_57)
(69)      [WHEN] (1)when false then 
(69)      [----]   step1.oldActive := step1.outerStatePort.localActive
(69)      [----] end when;
(70)      [SCAL] (1) step1.newActive = $SEV_2 ($RES_SIM_59)
(71)      [ARRY] (2) compositeStep.Alternative1.join.occupied = {compositeStep.Alternative1.outPort.occupied for $i1 in 1:2} ($RES_SIM_102)
(72)      [FOR-] (2) ($RES_SIM_103)
(72)      [----] for $i1 in 1:2 loop
(72)      [----]   [SCAL] (1) compositeStep.Alternative1.split[$i1].available = if $SEV_11[$i1] then compositeStep.Alternative1.inPort.available else $SEV_12[$i1] ($RES_SIM_104)
(72)      [----] end for;
(73)      [SCAL] (1) $TEV_9 = $PRE.initialStep.newActive ($RES_EVT_400)
(74)      [SCAL] (1) $TEV_10 = $PRE.compositeStep.newActive ($RES_EVT_401)
(75)      [SCAL] (1) $TEV_11 = $PRE.compositeStep.transition4.outPort.set ($RES_EVT_402)
(76)      [SCAL] (1) $TEV_12 = $PRE.compositeStep.transition3.outPort.set ($RES_EVT_403)
(77)      [SCAL] (1) $TEV_13 = $PRE.compositeStep.transition2.inPort.reset ($RES_EVT_404)
(78)      [SCAL] (1) compositeStep.transition4.outPort.set = $SEV_13 ($RES_SIM_109)
(79)      [SCAL] (1) $TEV_14 = $PRE.compositeStep.compositeStep12.newActive ($RES_EVT_405)
(80)      [SCAL] (1) $TEV_15 = $PRE.compositeStep.compositeStep12.exitStep.oldActive ($RES_EVT_406)
(81)      [SCAL] (1) $TEV_16 = $PRE.compositeStep.compositeStep12.exitStep.outerStatePort.localActive ($RES_EVT_407)
(82)      [SCAL] (1) step1.outerStatePort.localActive = $TEV_3 ($RES_SIM_60)
(83)      [SCAL] (1) $TEV_17 = $PRE.compositeStep.compositeStep12.exitStep.newActive ($RES_EVT_408)
(84)      [SCAL] (1) $TEV_18 = $PRE.compositeStep.compositeStep12.initStep.oldActive ($RES_EVT_409)
(85)      [SCAL] (1) step1.outerStatePort.subgraphStatePort.activeSteps = if step1.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_62)
(86)      [SCAL] (1) transition3.enableFire = $SEV_3 ($RES_SIM_65)
(87)      [SCAL] (1) transition3.outPort.set = $SEV_4 ($RES_SIM_66)
(88)      [SCAL] (1) transition3.t = if transition3.enableFire then transition3.t_dummy else 0.0 ($RES_SIM_67)
(89)      [SCAL] (1) compositeStep.stateGraphRoot.suspend = $FUN_19 ($RES_BND_322)
(90)      [WHEN] (1)when transition3.enableFire then 
(90)      [----]   time - transition3.t_dummy := time
(90)      [----] end when;
(91)      [SCAL] (1) compositeStep.stateGraphRoot.resume = $FUN_20 ($RES_BND_323)
(92)      [SCAL] (1) compositeStep.transition1.localCondition = $TEV_38 ($RES_BND_325)
(93)      [SCAL] (1) compositeStep.compositeStep11.stateGraphRoot.suspend = $SEV_32 ($RES_BND_329)
(94)      [SCAL] (1) $TEV_19 = $PRE.compositeStep.compositeStep12.initStep.outerStatePort.localActive ($RES_EVT_410)
(95)      [SCAL] (1) $TEV_20 = $PRE.compositeStep.compositeStep12.initStep.newActive ($RES_EVT_411)
(96)      [SCAL] (1) compositeStep.transition3.outPort.set = $SEV_14 ($RES_SIM_116)
(97)      [SCAL] (1) $TEV_21 = $PRE.compositeStep.compositeStep12.transition.enableFire ($RES_EVT_412)
(98)      [SCAL] (1) $TEV_22 = $PRE.compositeStep.compositeStep11.newActive ($RES_EVT_413)
(99)      [SCAL] (1) $TEV_23 = $PRE.compositeStep.compositeStep11.exitStep.oldActive ($RES_EVT_414)
(100)     [SCAL] (1) $TEV_24 = $PRE.compositeStep.compositeStep11.exitStep.outerStatePort.localActive ($RES_EVT_415)
(101)     [SCAL] (1) $TEV_25 = $PRE.compositeStep.compositeStep11.exitStep.newActive ($RES_EVT_416)
(102)     [SCAL] (1) $TEV_26 = $PRE.compositeStep.compositeStep11.initStep.oldActive ($RES_EVT_417)
(103)     [SCAL] (1) $TEV_27 = $PRE.compositeStep.compositeStep11.initStep.outerStatePort.localActive ($RES_EVT_418)
(104)     [SCAL] (1) $TEV_28 = $PRE.compositeStep.compositeStep11.initStep.newActive ($RES_EVT_419)
(105)     [SCAL] (1) compositeStep.exitStep.outPort[1].reset = false ($RES_SIM_200)
(106)     [SCAL] (1) transition2.enableFire = $SEV_5 ($RES_SIM_72)
(107)     [SCAL] (1) compositeStep.exitStep.inPort[1].set = false ($RES_SIM_201)
(108)     [SCAL] (1) transition2.outPort.set = $SEV_6 ($RES_SIM_73)
(109)     [SCAL] (1) compositeStep.exitStep.outPort[1].available = compositeStep.exitStep.outerStatePort.localActive ($RES_SIM_202)
(110)     [SCAL] (1) transition2.t = if transition2.enableFire then transition2.t_dummy else 0.0 ($RES_SIM_74)
(111)     [SCAL] (1) compositeStep.exitStep.inPort[1].occupied = compositeStep.exitStep.outerStatePort.localActive ($RES_SIM_203)
(112)     [WHEN] (1)when transition2.enableFire then 
(112)     [----]   time - transition2.t_dummy := time
(112)     [----] end when;
(113)     [WHEN] (1)when compositeStep.stateGraphRoot.suspend then 
(113)     [----]   compositeStep.exitStep.oldActive := compositeStep.exitStep.outerStatePort.localActive
(113)     [----] end when;
(114)     [SCAL] (1) compositeStep.compositeStep11.stateGraphRoot.resume = $SEV_31 ($RES_BND_330)
(115)     [SCAL] (1) compositeStep.exitStep.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.exitStep.oldActive else $SEV_26 ($RES_SIM_205)
(116)     [SCAL] (1) compositeStep.exitStep.outerStatePort.localActive = $TEV_32 ($RES_SIM_206)
(117)     [SCAL] (1) transition1.enableFire = $SEV_7 ($RES_SIM_79)
(118)     [SCAL] (1) compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.exitStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_208)
(119)     [SCAL] (1) compositeStep.initStep.outPort[1].reset = false ($RES_SIM_209)
(120)     [SCAL] (1) compositeStep.compositeStep12.stateGraphRoot.suspend = $SEV_30 ($RES_BND_336)
(121)     [SCAL] (1) compositeStep.compositeStep12.stateGraphRoot.resume = $SEV_29 ($RES_BND_337)
(122)     [SCAL] (1) compositeStep.transition2.inPort.reset = $SEV_15 ($RES_SIM_123)
(123)     [SCAL] (1) $TEV_29 = $PRE.compositeStep.compositeStep11.transition.enableFire ($RES_EVT_420)
(124)     [SCAL] (1) $TEV_30 = $PRE.compositeStep.exitStep.oldActive ($RES_EVT_421)
(125)     [SCAL] (1) $TEV_31 = $PRE.compositeStep.exitStep.outerStatePort.localActive ($RES_EVT_422)
(126)     [SCAL] (1) $TEV_32 = $PRE.compositeStep.exitStep.newActive ($RES_EVT_423)
(127)     [SCAL] (1) $TEV_33 = $PRE.compositeStep.initStep.oldActive ($RES_EVT_424)
(128)     [SCAL] (1) compositeStep.compositeStep12.resume[1].set = false ($RES_SIM_128)
(129)     [SCAL] (1) $TEV_34 = $PRE.compositeStep.initStep.outerStatePort.localActive ($RES_EVT_425)
(130)     [SCAL] (1) compositeStep.compositeStep12.suspend[1].reset = false ($RES_SIM_129)
(131)     [SCAL] (1) $TEV_35 = $PRE.compositeStep.initStep.newActive ($RES_EVT_426)
(132)     [SCAL] (1) $TEV_36 = $PRE.compositeStep.transition1.inPort.reset ($RES_EVT_427)
(133)     [SCAL] (1) $TEV_37 = time >= 4.0 ($RES_EVT_428)
(134)     [SCAL] (1) transition1.inPort.reset = $SEV_8 ($RES_SIM_80)
(135)     [SCAL] (1) $TEV_38 = time >= 8.0 ($RES_EVT_429)
(136)     [SCAL] (1) transition1.t = if transition1.enableFire then transition1.t_dummy else 0.0 ($RES_SIM_81)
(137)     [SCAL] (1) compositeStep.initStep.inPort[1].set = false ($RES_SIM_210)
(138)     [SCAL] (1) compositeStep.initStep.outPort[1].available = compositeStep.initStep.outerStatePort.localActive ($RES_SIM_211)
(139)     [WHEN] (1)when transition1.enableFire then 
(139)     [----]   time - transition1.t_dummy := time
(139)     [----] end when;
(140)     [SCAL] (1) compositeStep.initStep.inPort[1].occupied = compositeStep.initStep.outerStatePort.localActive ($RES_SIM_212)
(141)     [SCAL] (1) initialStep.outPort[1].reset = false ($RES_SIM_84)
(142)     [WHEN] (1)when compositeStep.stateGraphRoot.suspend then 
(142)     [----]   compositeStep.initStep.oldActive := compositeStep.initStep.outerStatePort.localActive
(142)     [----] end when;
(143)     [SCAL] (1) initialStep.inPort[1].set = false ($RES_SIM_85)
(144)     [SCAL] (1) compositeStep.initStep.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.initStep.oldActive else $SEV_27 ($RES_SIM_214)
(145)     [SCAL] (1) initialStep.outPort[1].available = initialStep.outerStatePort.localActive ($RES_SIM_86)
(146)     [SCAL] (1) compositeStep.initStep.outerStatePort.localActive = $TEV_35 ($RES_SIM_215)
(147)     [SCAL] (1) initialStep.inPort[1].occupied = initialStep.outerStatePort.localActive ($RES_SIM_87)
(148)     [WHEN] (1)when false then 
(148)     [----]   initialStep.oldActive := initialStep.outerStatePort.localActive
(148)     [----] end when;
(149)     [SCAL] (1) compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.initStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_217)
(150)     [SCAL] (1) initialStep.newActive = $SEV_9 ($RES_SIM_89)
(151)     [SCAL] (1) compositeStep.transition2.localCondition = $TEV_37 ($RES_BND_343)
(152)     [SCAL] (1) compositeStep.compositeStep11.initStep.inPort[1].set = compositeStep.transition1.inPort.reset ($RES_SIM_300)
(153)     [SCAL] (1) $FUN_1 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.initStep.inPort.set) ($RES_$AUX_384)
(154)     [SCAL] (1) compositeStep.compositeStep11.initStep.inPort[1].occupied = compositeStep.transition1.outPort.occupied ($RES_SIM_301)
(155)     [SCAL] (1) $FUN_2 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.initStep.outPort.reset) ($RES_$AUX_383)
(156)     [SCAL] (1) compositeStep.compositeStep11.exitStep.outPort[1].reset = compositeStep.transition3.outPort.set ($RES_SIM_302)
(157)     [SCAL] (1) $FUN_3 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.exitStep.inPort.set) ($RES_$AUX_382)
(158)     [SCAL] (1) compositeStep.compositeStep11.exitStep.outPort[1].available = compositeStep.compositeStep11.outPort.available ($RES_SIM_303)
(159)     [SCAL] (1) $FUN_4 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.exitStep.outPort.reset) ($RES_$AUX_381)
(160)     [SCAL] (1) $FUN_5 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.initStep.inPort.set) ($RES_$AUX_380)
(161)     [SCAL] (1) compositeStep.compositeStep12.suspend[1].available = compositeStep.compositeStep12.outerState.active ($RES_SIM_130)
(162)     [SCAL] (1) compositeStep.compositeStep12.resume[1].occupied = compositeStep.compositeStep12.outerState.active ($RES_SIM_131)
(163)     [SCAL] (1) compositeStep.compositeStep12.newActive = $SEV_16 ($RES_SIM_132)
(164)     [SCAL] (1) compositeStep.compositeStep12.outerState.active = $TEV_14 ($RES_SIM_133)
(165)     [SCAL] (1) $SEV_0 = transition4.inPort.available and not transition4.outPort.occupied ($RES_EVT_430)
(166)     [SCAL] (1) compositeStep.compositeStep12.activeSteps = -integer(compositeStep.compositeStep12.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_134)
(167)     [SCAL] (1) $SEV_1 = transition4.enableFire and time >= ((time - transition4.t_dummy) + transition4.waitTime) ($RES_EVT_431)
(168)     [SCAL] (1) compositeStep.compositeStep12.exitStep.outPort[1].reset = false ($RES_SIM_135)
(169)     [SCAL] (1) $SEV_2 = $FUN_23 or step1.outerStatePort.localActive and not $FUN_24 ($RES_EVT_432)
(170)     [SCAL] (1) compositeStep.compositeStep12.exitStep.inPort[1].set = false ($RES_SIM_136)
(171)     [SCAL] (1) $SEV_3 = transition3.inPort.available and not transition3.outPort.occupied ($RES_EVT_433)
(172)     [SCAL] (1) compositeStep.compositeStep12.exitStep.outPort[1].available = compositeStep.compositeStep12.exitStep.outerStatePort.localActive ($RES_SIM_137)
(173)     [SCAL] (1) $SEV_4 = transition3.enableFire and time >= ((time - transition3.t_dummy) + transition3.waitTime) ($RES_EVT_434)
(174)     [SCAL] (1) compositeStep.compositeStep12.exitStep.inPort[1].occupied = compositeStep.compositeStep12.exitStep.outerStatePort.localActive ($RES_SIM_138)
(175)     [SCAL] (1) $SEV_5 = compositeStep.outPort.available and not transition2.outPort.occupied ($RES_EVT_435)
(176)     [WHEN] (1)when compositeStep.compositeStep12.stateGraphRoot.suspend then 
(176)     [----]   compositeStep.compositeStep12.exitStep.oldActive := compositeStep.compositeStep12.exitStep.outerStatePort.localActive
(176)     [----] end when;
(177)     [SCAL] (1) $SEV_6 = transition2.enableFire and time >= ((time - transition2.t_dummy) + transition2.waitTime) ($RES_EVT_436)
(178)     [SCAL] (1) $SEV_7 = transition1.inPort.available and not transition1.outPort.occupied ($RES_EVT_437)
(179)     [SCAL] (1) $SEV_8 = transition1.enableFire and time >= ((time - transition1.t_dummy) + transition1.waitTime) ($RES_EVT_438)
(180)     [SCAL] (1) initialStep.outerStatePort.localActive = $TEV_9 ($RES_SIM_90)
(181)     [SCAL] (1) $SEV_9 = $FUN_21 or initialStep.outerStatePort.localActive and not $FUN_22 ($RES_EVT_439)
(182)     [SCAL] (1) compositeStep.transition1.inPort.reset = $SEV_28 ($RES_SIM_220)
(183)     [SCAL] (1) initialStep.outerStatePort.subgraphStatePort.activeSteps = if initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_92)
(184)     [SCAL] (1) compositeStep.resume[1].set = false ($RES_SIM_93)
(185)     [SCAL] (1) compositeStep.suspend[1].reset = false ($RES_SIM_94)
(186)     [SCAL] (1) compositeStep.suspend[1].available = compositeStep.outerState.active ($RES_SIM_95)
(187)     [SCAL] (1) compositeStep.resume[1].occupied = compositeStep.outerState.active ($RES_SIM_96)
(188)     [SCAL] (1) compositeStep.outerState.subgraphStatePort.activeSteps = if compositeStep.outerState.active then 1.0 else 0.0 ($RES_SIM_225)
(189)     [SCAL] (1) compositeStep.newActive = $SEV_10 ($RES_SIM_97)
(190)     [SCAL] (1) compositeStep.outerState.active = $TEV_10 ($RES_SIM_98)
(191)     [SCAL] (1) compositeStep.activeSteps = -integer(compositeStep.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_99)
(192)     [SCAL] (1) compositeStep.compositeStep12.initStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep12.exitStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep12.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_229)
(193)     [SCAL] (1) $FUN_6 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.initStep.outPort.reset) ($RES_$AUX_379)
(194)     [SCAL] (1) $FUN_7 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.exitStep.inPort.set) ($RES_$AUX_378)
(195)     [SCAL] (1) $FUN_8 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.exitStep.outPort.reset) ($RES_$AUX_377)
(196)     [SCAL] (1) $FUN_9 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.suspend.reset) ($RES_$AUX_376)
(197)     [SCAL] (1) $FUN_10 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.resume.set) ($RES_$AUX_375)
(198)     [SCAL] (1) $FUN_11 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.initStep.inPort.set) ($RES_$AUX_374)
(199)     [SCAL] (1) $FUN_12 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.initStep.outPort.reset) ($RES_$AUX_373)
(200)     [SCAL] (1) $FUN_13 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.exitStep.inPort.set) ($RES_$AUX_372)
(201)     [SCAL] (1) $FUN_14 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.exitStep.outPort.reset) ($RES_$AUX_371)
(202)     [SCAL] (1) $FUN_15 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.suspend.reset) ($RES_$AUX_370)
(203)     [SCAL] (1) compositeStep.compositeStep12.exitStep.newActive = if compositeStep.compositeStep12.stateGraphRoot.resume then compositeStep.compositeStep12.exitStep.oldActive else $SEV_17 ($RES_SIM_140)
(204)     [SCAL] (1) compositeStep.compositeStep12.exitStep.outerStatePort.localActive = $TEV_17 ($RES_SIM_141)
(205)     [SCAL] (1) compositeStep.compositeStep12.exitStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.compositeStep12.exitStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_143)
(206)     [SCAL] (1) $SEV_10 = compositeStep.activeSteps > 0 and not $FUN_19 or $FUN_20 ($RES_EVT_440)
(207)     [SCAL] (1) compositeStep.compositeStep12.initStep.outPort[1].reset = false ($RES_SIM_144)
(208)     [FOR-] (2) ($RES_EVT_441)
(208)     [----] for $i1 in 1:2 loop
(208)     [----]   [SCAL] (1) $SEV_11[$i1] = $i1 == 1 ($RES_EVT_442)
(208)     [----] end for;
(209)     [SCAL] (1) compositeStep.compositeStep12.initStep.inPort[1].set = false ($RES_SIM_145)
(210)     [SCAL] (1) compositeStep.compositeStep12.initStep.outPort[1].available = compositeStep.compositeStep12.initStep.outerStatePort.localActive ($RES_SIM_146)
(211)     [FOR-] (2) ($RES_EVT_443)
(211)     [----] for $i1 in 1:2 loop
(211)     [----]   [SCAL] (1) $SEV_12[$i1] = compositeStep.Alternative1.split[$i1 - 1].available and not compositeStep.Alternative1.split[$i1 - 1].reset ($RES_EVT_444)
(211)     [----] end for;
(212)     [SCAL] (1) compositeStep.compositeStep12.initStep.inPort[1].occupied = compositeStep.compositeStep12.initStep.outerStatePort.localActive ($RES_SIM_147)
(213)     [WHEN] (1)when compositeStep.compositeStep12.stateGraphRoot.suspend then 
(213)     [----]   compositeStep.compositeStep12.initStep.oldActive := compositeStep.compositeStep12.initStep.outerStatePort.localActive
(213)     [----] end when;
(214)     [SCAL] (1) $SEV_13 = compositeStep.compositeStep12.outPort.available and not compositeStep.transition4.outPort.occupied ($RES_EVT_445)
(215)     [SCAL] (1) compositeStep.compositeStep12.initStep.newActive = if compositeStep.compositeStep12.stateGraphRoot.resume then compositeStep.compositeStep12.initStep.oldActive else $SEV_18 ($RES_SIM_149)
(216)     [SCAL] (1) $SEV_14 = compositeStep.compositeStep11.outPort.available and not compositeStep.transition3.outPort.occupied ($RES_EVT_446)
(217)     [SCAL] (1) $SEV_15 = (compositeStep.transition2.localCondition and compositeStep.transition2.inPort.available) and not compositeStep.transition2.outPort.occupied ($RES_EVT_447)
(218)     [SCAL] (1) $SEV_16 = ((compositeStep.compositeStep12.activeSteps > 0 and not $FUN_15) and not compositeStep.stateGraphRoot.suspend or $FUN_16) or compositeStep.stateGraphRoot.resume ($RES_EVT_448)
(219)     [SCAL] (1) $SEV_17 = ($FUN_13 or compositeStep.compositeStep12.exitStep.outerStatePort.localActive and not $FUN_14) and not compositeStep.compositeStep12.stateGraphRoot.suspend ($RES_EVT_449)
(220)     [SCAL] (1) compositeStep.compositeStep11.initStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep11.exitStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep11.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_230)
(221)     [SCAL] (1) compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep11.outerState.subgraphStatePort.activeSteps + compositeStep.compositeStep12.outerState.subgraphStatePort.activeSteps + compositeStep.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_231)
(222)     [SCAL] (1) initialStep.outerStatePort.subgraphStatePort.activeSteps + step1.outerStatePort.subgraphStatePort.activeSteps + stateGraphRoot.subgraphStatePort.activeSteps + compositeStep.outerState.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_232)
(223)     [SCAL] (1) transition4.outPort.set = compositeStep.resume[1].set ($RES_SIM_233)
(224)     [SCAL] (1) transition4.outPort.occupied = compositeStep.resume[1].occupied ($RES_SIM_234)
(225)     [SCAL] (1) step1.outPort[1].reset = transition4.outPort.set ($RES_SIM_235)
(226)     [SCAL] (1) step1.outPort[1].available = transition4.inPort.available ($RES_SIM_236)
(227)     [SCAL] (1) transition3.outPort.set = step1.inPort[1].set ($RES_SIM_237)
(228)     [SCAL] (1) transition3.outPort.occupied = step1.inPort[1].occupied ($RES_SIM_238)
(229)     [SCAL] (1) compositeStep.suspend[1].reset = transition3.outPort.set ($RES_SIM_239)
(230)     [SCAL] (1) $FUN_16 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.resume.set) ($RES_$AUX_369)
(231)     [SCAL] (1) compositeStep.Alternative1.inPort.reset = Modelica.StateGraph.Temporary.anyTrue(compositeStep.Alternative1.split.reset) ($RES_$AUX_368)
(232)     [SCAL] (1) compositeStep.Alternative1.outPort.set = Modelica.StateGraph.Temporary.anyTrue(compositeStep.Alternative1.join.set) ($RES_$AUX_367)
(233)     [SCAL] (1) $FUN_19 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.suspend.reset) ($RES_$AUX_366)
(234)     [SCAL] (1) $FUN_20 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.resume.set) ($RES_$AUX_365)
(235)     [SCAL] (1) $FUN_21 = Modelica.StateGraph.Temporary.anyTrue(initialStep.inPort.set) ($RES_$AUX_364)
(236)     [SCAL] (1) $FUN_22 = Modelica.StateGraph.Temporary.anyTrue(initialStep.outPort.reset) ($RES_$AUX_363)
(237)     [SCAL] (1) $FUN_23 = Modelica.StateGraph.Temporary.anyTrue(step1.inPort.set) ($RES_$AUX_362)
(238)     [SCAL] (1) $FUN_24 = Modelica.StateGraph.Temporary.anyTrue(step1.outPort.reset) ($RES_$AUX_361)
(239)     [SCAL] (1) compositeStep.compositeStep12.initStep.outerStatePort.localActive = $TEV_20 ($RES_SIM_150)
(240)     [SCAL] (1) compositeStep.compositeStep12.initStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.compositeStep12.initStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_152)
(241)     [SCAL] (1) $SEV_18 = ($FUN_11 or compositeStep.compositeStep12.initStep.outerStatePort.localActive and not $FUN_12) and not compositeStep.compositeStep12.stateGraphRoot.suspend ($RES_EVT_450)
(242)     [SCAL] (1) compositeStep.compositeStep12.transition.enableFire = $SEV_19 ($RES_SIM_155)
(243)     [SCAL] (1) $SEV_19 = compositeStep.compositeStep12.transition.inPort.available and not compositeStep.compositeStep12.transition.outPort.occupied ($RES_EVT_451)
(244)     [SCAL] (1) compositeStep.compositeStep12.transition.outPort.set = $SEV_20 ($RES_SIM_156)
(245)     [SCAL] (1) $SEV_20 = compositeStep.compositeStep12.transition.enableFire and time >= ((time - compositeStep.compositeStep12.transition.t_dummy) + compositeStep.compositeStep12.transition.waitTime) ($RES_EVT_452)
(246)     [SCAL] (1) compositeStep.compositeStep12.transition.t = if compositeStep.compositeStep12.transition.enableFire then compositeStep.compositeStep12.transition.t_dummy else 0.0 ($RES_SIM_157)
(247)     [SCAL] (1) $SEV_21 = ((compositeStep.compositeStep11.activeSteps > 0 and not $FUN_9) and not compositeStep.stateGraphRoot.suspend or $FUN_10) or compositeStep.stateGraphRoot.resume ($RES_EVT_453)
(248)     [SCAL] (1) $SEV_22 = ($FUN_7 or compositeStep.compositeStep11.exitStep.outerStatePort.localActive and not $FUN_8) and not compositeStep.compositeStep11.stateGraphRoot.suspend ($RES_EVT_454)
(249)     [WHEN] (1)when compositeStep.compositeStep12.transition.enableFire then 
(249)     [----]   time - compositeStep.compositeStep12.transition.t_dummy := time
(249)     [----] end when;
(250)     [SCAL] (1) $SEV_23 = ($FUN_5 or compositeStep.compositeStep11.initStep.outerStatePort.localActive and not $FUN_6) and not compositeStep.compositeStep11.stateGraphRoot.suspend ($RES_EVT_455)
(251)     [SCAL] (1) $SEV_24 = compositeStep.compositeStep11.transition.inPort.available and not compositeStep.compositeStep11.transition.outPort.occupied ($RES_EVT_456)
(252)     [SCAL] (1) $SEV_25 = compositeStep.compositeStep11.transition.enableFire and time >= ((time - compositeStep.compositeStep11.transition.t_dummy) + compositeStep.compositeStep11.transition.waitTime) ($RES_EVT_457)
(253)     [SCAL] (1) $SEV_26 = ($FUN_3 or compositeStep.exitStep.outerStatePort.localActive and not $FUN_4) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_458)
(254)     [SCAL] (1) $SEV_27 = ($FUN_1 or compositeStep.initStep.outerStatePort.localActive and not $FUN_2) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_459)
(255)     [SCAL] (1) compositeStep.suspend[1].available = transition3.inPort.available ($RES_SIM_240)
(256)     [SCAL] (1) transition2.outPort.set = initialStep.inPort[1].set ($RES_SIM_241)
(257)     [SCAL] (1) transition2.outPort.occupied = initialStep.inPort[1].occupied ($RES_SIM_242)
(258)     [SCAL] (1) initialStep.outPort[1].reset = transition1.inPort.reset ($RES_SIM_245)
(259)     [SCAL] (1) initialStep.outPort[1].available = transition1.inPort.available ($RES_SIM_246)
(260)     [SCAL] (1) compositeStep.compositeStep12.outerState.subgraphStatePort.activeSteps = if compositeStep.compositeStep12.outerState.active then 1.0 else 0.0 ($RES_SIM_160)
(261)     [SCAL] (1) compositeStep.compositeStep11.resume[1].set = false ($RES_SIM_164)
(262)     [SCAL] (1) $SEV_28 = (compositeStep.transition1.localCondition and compositeStep.transition1.inPort.available) and not compositeStep.transition1.outPort.occupied ($RES_EVT_460)
(263)     [SCAL] (1) compositeStep.compositeStep11.suspend[1].reset = false ($RES_SIM_165)
(264)     [SCAL] (1) $SEV_29 = $FUN_16 or compositeStep.stateGraphRoot.resume ($RES_EVT_461)
(265)     [SCAL] (1) compositeStep.compositeStep11.suspend[1].available = compositeStep.compositeStep11.outerState.active ($RES_SIM_166)
(266)     [SCAL] (1) $SEV_30 = $FUN_15 or compositeStep.stateGraphRoot.suspend ($RES_EVT_462)
(267)     [SCAL] (1) compositeStep.compositeStep11.resume[1].occupied = compositeStep.compositeStep11.outerState.active ($RES_SIM_167)
(268)     [SCAL] (1) $SEV_31 = $FUN_10 or compositeStep.stateGraphRoot.resume ($RES_EVT_463)
(269)     [SCAL] (1) compositeStep.compositeStep11.newActive = $SEV_21 ($RES_SIM_168)
(270)     [SCAL] (1) $SEV_32 = $FUN_9 or compositeStep.stateGraphRoot.suspend ($RES_EVT_464)
(271)     [SCAL] (1) compositeStep.compositeStep11.outerState.active = $TEV_22 ($RES_SIM_169)