Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_Synchronous_Modelica_Synchronous.Examples.Elementary.ClockSignals.LogicalSample.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)
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_Synchronous 0.93.0-master/package.mo", uses=false)
Using package Modelica_Synchronous with version 0.93.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_Synchronous 0.93.0-master/package.mo)
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_Synchronous.Examples.Elementary.ClockSignals.LogicalSample,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_Synchronous_Modelica_Synchronous.Examples.Elementary.ClockSignals.LogicalSample")
translateModel(Modelica_Synchronous.Examples.Elementary.ClockSignals.LogicalSample,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_Synchronous_Modelica_Synchronous.Examples.Elementary.ClockSignals.LogicalSample")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001199/0.001199, allocations: 110 kB / 17.14 MB, free: 5.957 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.001241/0.001241, allocations: 200.1 kB / 18.08 MB, free: 5.031 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.466/1.466, allocations: 205.1 MB / 223.9 MB, free: 12.22 MB / 190.1 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_Synchronous 0.93.0-master/package.mo): time 0.06863/0.06863, allocations: 12.59 MB / 283.9 MB, free: 15.41 MB / 238.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.304e-05/2.305e-05, allocations: 2.281 kB / 394.8 MB, free: 45.59 MB / 318.1 MB
Notification: Performance of NFInst.instantiate(Modelica_Synchronous.Examples.Elementary.ClockSignals.LogicalSample): time 0.004426/0.004457, allocations: 3.108 MB / 397.9 MB, free: 43.44 MB / 318.1 MB
Notification: Performance of NFInst.instExpressions: time 0.002177/0.006647, allocations: 1.145 MB / 399 MB, free: 42.61 MB / 318.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.000291/0.006951, allocations: 19.03 kB / 399 MB, free: 42.61 MB / 318.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0002528/0.007211, allocations: 87.23 kB / 399.1 MB, free: 42.54 MB / 318.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0001521/0.00737, allocations: 64.17 kB / 399.2 MB, free: 42.49 MB / 318.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.001008/0.008405, allocations: 370.2 kB / 399.5 MB, free: 42.27 MB / 318.1 MB
Notification: Performance of NFFlatten.flatten: time 0.001702/0.01012, allocations: 1.57 MB / 401.1 MB, free: 41.43 MB / 318.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.001016/0.01114, allocations: 0.7918 MB / 401.9 MB, free: 40.93 MB / 318.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0004813/0.01163, allocations: 362.4 kB / 402.2 MB, free: 40.69 MB / 318.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0003396/0.01198, allocations: 385.8 kB / 402.6 MB, free: 40.4 MB / 318.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0001572/0.01214, allocations: 109.2 kB / 402.7 MB, free: 40.39 MB / 318.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0002246/0.01238, allocations: 122.2 kB / 402.9 MB, free: 40.39 MB / 318.1 MB
Notification: Performance of combineBinaries: time 0.0006898/0.01307, allocations: 1.125 MB / 404 MB, free: 39.5 MB / 318.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0003589/0.01344, allocations: 0.6715 MB / 404.6 MB, free: 39 MB / 318.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0001485/0.01359, allocations: 114.5 kB / 404.8 MB, free: 38.93 MB / 318.1 MB
Notification: Performance of FrontEnd: time 0.0001252/0.01373, allocations: 55.16 kB / 404.8 MB, free: 38.89 MB / 318.1 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 242 (210)
 * Number of variables: 242 (174)
Notification: Performance of Bindings: time 0.003301/0.01703, allocations: 3.402 MB / 408.2 MB, free: 36.31 MB / 318.1 MB
Notification: Performance of FunctionAlias: time 0.0003698/0.01741, allocations: 336.1 kB / 408.5 MB, free: 36.06 MB / 318.1 MB
Notification: Performance of Early Inline: time 0.00182/0.01924, allocations: 2.444 MB / 411 MB, free: 33.67 MB / 318.1 MB
Notification: Performance of simplify1: time 0.0001412/0.01939, allocations: 135.8 kB / 411.1 MB, free: 33.54 MB / 318.1 MB
Notification: Performance of Alias: time 0.002736/0.02213, allocations: 3.323 MB / 414.4 MB, free: 29.91 MB / 318.1 MB
Notification: Performance of simplify2: time 9.72e-05/0.02224, allocations: 103.8 kB / 414.5 MB, free: 29.8 MB / 318.1 MB
Notification: Performance of Events: time 0.0005458/0.02279, allocations: 0.5811 MB / 415.1 MB, free: 29.23 MB / 318.1 MB
Notification: Performance of Detect States: time 0.0006409/0.02344, allocations: 0.892 MB / 416 MB, free: 28.32 MB / 318.1 MB
Notification: Performance of Partitioning: time 0.0007746/0.02423, allocations: 0.9745 MB / 417 MB, free: 27.33 MB / 318.1 MB
Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency disjunctiveClock.splitter.u could not be divided by the body size 2 without rest.
Error: Internal error NBAdjacency.Matrix.createPseudo failed for:
[ARRY] (2) disjunctiveClock.splitter.y = {disjunctiveClock.splitter.u for $i1 in 1:2} ($RES_SIM_15)
Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system:
System Variables (156/234)
****************************
(1)       [DISC] (2) Boolean[2] conjunctiveClock.splitter.y
(2)       [DISC] (1) Boolean $SEV_29
(3)       [DISC] (1) Boolean $SEV_28
(4)       [DISS] (1) protected Integer trigger_interval_input.count
(5)       [DISC] (1) Boolean $SEV_27
(6)       [DISC] (1) Boolean $SEV_26
(7)       [DISS] (1) protected Real trigger_interval_input.T_start
(8)       [DISC] (1) Boolean conjunctiveClock.splitter.u
(9)       [DISC] (1) Boolean $SEV_25
(10)      [DISC] (1) Boolean $SEV_24
(11)      [DISC] (1) Boolean $SEV_23
(12)      [DISC] (1) Boolean $SEV_22
(13)      [DISC] (2) Boolean[2] conjunctiveClock.forbidden_state.y
(14)      [DISC] (1) Boolean $SEV_21
(15)      [DISC] (1) Boolean $SEV_20
(16)      [DISC] (1) Boolean $TEV_7
(17)      [DISC] (1) Boolean $TEV_6
(18)      [DISC] (2) Boolean[2] conjunctiveClock.input_memory.Q
(19)      [DISC] (1) Boolean $TEV_5
(20)      [DISC] (2) Boolean[2] conjunctiveClock.input_memory.R
(21)      [DISC] (1) Boolean $TEV_4
(22)      [DISC] (2) Boolean[2] conjunctiveClock.input_memory.S
(23)      [DISC] (1) Boolean $TEV_3
(24)      [DISC] (1) Boolean $TEV_2
(25)      [ALGB] (1) Real rotational_clock_1.abs1.u
(26)      [DISC] (1) Boolean $TEV_1
(27)      [DISC] (1) Boolean $TEV_0
(28)      [DISC] (2) Boolean[2] conjunctiveClock.S_false.y
(29)      [ALGB] (1) Real rotational_clock_1.abs1.y
(30)      [ALGB] (2) Clock[2] disjunctiveClock.u
(31)      [DISC] (2) Boolean[2] disjunctiveClock.S_false.y
(32)      [DISC] (1) Boolean $SEV_19
(33)      [DISC] (1) Boolean $SEV_18
(34)      [DISC] (1) Boolean $SEV_13
(35)      [DISC] (2) Boolean[2] $SEV_14[$i1]
(36)      [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.input_hold.y
(37)      [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.input_tick.u
(38)      [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.input_hold.u (start = {disjunctiveClock.input_ticked[$input_ticked1].input_hold.y_start for $input_ticked1 in 1:2})
(39)      [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.input_tick.y
(40)      [ALGB] (2) Clock[2] conjunctiveClock.input_ticked.u
(41)      [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.y
(42)      [DISC] (2) Boolean[2] disjunctiveClock.input_memory.QI
(43)      [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.input_sample.u
(44)      [ALGB] (1) Real rotational_clock_2.update_direction.y
(45)      [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.input_sample.y
(46)      [ALGB] (1) Real $FUN_8
(47)      [ALGB] (1) Real rotational_clock_1.abs2.y
(48)      [ALGB] (1) Real $FUN_7
(49)      [ALGB] (1) Real $FUN_5
(50)      [ALGB] (1) Real $FUN_4
(51)      [DISC] (1) Boolean rotational_clock_2.less.y
(52)      [ALGB] (1) Real $FUN_2
(53)      [ALGB] (1) Real $FUN_1
(54)      [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.input_sample.u
(55)      [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.y
(56)      [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.input_sample.y
(57)      [DISC] (2) Boolean[2] conjunctiveClock.forbidden_state.u2
(58)      [DISC] (2) Boolean[2] $SEV_9[$i1]
(59)      [ALGB] (2) Clock[2] disjunctiveClock.input_ticked.u
(60)      [DISC] (2) Boolean[2] conjunctiveClock.forbidden_state.u1
(61)      [DISC] (2) Boolean[2] conjunctiveClock.suppress_S.u3
(62)      [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.input_tick.y
(63)      [ALGB] (1) Real rotational_clock_1.angular_offset.y
(64)      [DISC] (2) Boolean[2] conjunctiveClock.suppress_S.u2
(65)      [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.input_hold.u (start = {conjunctiveClock.input_ticked[$input_ticked1].input_hold.y_start for $input_ticked1 in 1:2})
(66)      [DISC] (2) Boolean[2] conjunctiveClock.suppress_S.u1
(67)      [DISC] (2) Boolean[2] disjunctiveClock.input_memory.pre.y
(68)      [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.input_tick.u
(69)      [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.input_hold.y
(70)      [DISC] (2) Boolean[2] conjunctiveClock.input_memory.nor.y
(71)      [DISC] (2) Boolean[2] disjunctiveClock.input_memory.pre.u
(72)      [DISC] (2) Boolean[2] conjunctiveClock.input_memory.nor1.y
(73)      [ALGB] (1) Real rotational_clock_2.update_offset.y
(74)      [ALGB] (2) Clock[2] conjunctiveClock.input_ticked.input_sample.clock
(75)      [DISC] (2) Boolean[2] $FUN_13
(76)      [ALGB] (1) Real rotational_clock_2.abs1.u
(77)      [DISC] (2) Boolean[2] $FUN_10
(78)      [DISC] (1) Boolean rotational_clock_1.changed.y
(79)      [ALGB] (1) Real rotational_clock_2.abs1.y
(80)      [DISC] (1) Integer rotational_clock_1.changed.u
(81)      [DISC] (1) Boolean $SEV_8
(82)      [DISC] (1) Boolean $SEV_7
(83)      [DISC] (1) Boolean $SEV_6
(84)      [DISC] (2) Boolean[2] $SEV_17[$i1]
(85)      [ALGB] (1) Clock sample_disjunctive.clock
(86)      [ALGB] (1) Real sample_conjunctive.y
(87)      [ALGB] (1) Real rotational_clock_1.trigger_interval
(88)      [DISC] (2) Boolean[2] disjunctiveClock.combinator.u
(89)      [DISC] (1) Boolean disjunctiveClock.combinator.y
(90)      [DISC] (1) Boolean rotational_clock_2.changed.y
(91)      [DISC] (2) Boolean[2] conjunctiveClock.input_memory.nor.u1
(92)      [DISC] (2) Boolean[2] conjunctiveClock.input_memory.nor.u2
(93)      [DISC] (2) Boolean[2] $SEV_12[$i1]
(94)      [DISC] (2) Boolean[2] disjunctiveClock.input_memory.S
(95)      [DISC] (2) Boolean[2] disjunctiveClock.input_memory.R
(96)      [DISC] (1) Integer rotational_clock_2.changed.u
(97)      [DISC] (2) Boolean[2] disjunctiveClock.input_memory.Q
(98)      [ALGB] (1) Real rotational_clock_1.direction_sign.y
(99)      [ALGB] (1) Real rotational_clock_2.direction_sign.y
(100)     [DISC] (2) Boolean[2] disjunctiveClock.suppress_S.y
(101)     [ALGB] (1) Clock rotational_clock_1.update_offset.clock
(102)     [DISC] (1) Boolean conjunctiveClock.reset_ticked.input_sample.u
(103)     [ALGB] (1) protected Real trigger_interval_input.T_width = (trigger_interval_input.width * trigger_interval_input.period) / 100.0
(104)     [DISC] (1) Boolean conjunctiveClock.reset_ticked.input_sample.y
(105)     [DISC] (2) Boolean[2] disjunctiveClock.splitter.y
(106)     [DISC] (2) Boolean[2] disjunctiveClock.forbidden_state.y
(107)     [DISC] (1) Boolean disjunctiveClock.splitter.u
(108)     [DISC] (1) Boolean conjunctiveClock.combinator.y
(109)     [ALGB] (1) Real rotational_clock_2.abs2.y
(110)     [DISC] (2) Boolean[2] conjunctiveClock.combinator.u
(111)     [DISC] (2) Boolean[2] $SEV_16[$i1]
(112)     [DISC] (2) Boolean[2] disjunctiveClock.suppress_S.u1
(113)     [DISC] (2) Boolean[2] disjunctiveClock.suppress_S.u2
(114)     [ALGB] (1) Clock rotational_clock_2.update_offset.clock
(115)     [DISC] (2) Boolean[2] disjunctiveClock.suppress_S.u3
(116)     [DISC] (1) Boolean disjunctiveClock.reset_ticked.input_sample.u
(117)     [DISC] (2) Boolean[2] conjunctiveClock.input_memory.pre.u
(118)     [DISC] (2) Boolean[2] disjunctiveClock.input_memory.nor.y
(119)     [DISC] (1) Boolean disjunctiveClock.reset_ticked.input_sample.y
(120)     [DISC] (2) Boolean[2] $SEV_11[$i1]
(121)     [DISC] (2) Boolean[2] conjunctiveClock.input_memory.pre.y
(122)     [ALGB] (1) Real sample_disjunctive.y
(123)     [ALGB] (1) Real rotational_clock_1.update_offset.y
(124)     [ALGB] (1) Real rotational_clock_1.update_offset.u
(125)     [DISC] (2) Boolean[2] conjunctiveClock.input_memory.QI
(126)     [ALGB] (2) Clock[2] conjunctiveClock.u
(127)     [DISC] (2) Boolean[2] disjunctiveClock.input_memory.nor1.y
(128)     [ALGB] (2) Clock[2] disjunctiveClock.input_ticked.input_sample.clock
(129)     [ALGB] (1) Real cosine_angle_input.y
(130)     [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.input_ticked.u
(131)     [DISC] (2) Boolean[2] conjunctiveClock.input_ticked.input_ticked.y
(132)     [DISC] (1) Boolean $SEV_37
(133)     [DISC] (1) Boolean $SEV_36
(134)     [DISC] (1) Boolean $SEV_35
(135)     [DISC] (1) Boolean $SEV_34
(136)     [DISC] (2) Boolean[2] disjunctiveClock.forbidden_state.u1
(137)     [DISC] (2) Boolean[2] conjunctiveClock.input_memory.nor1.u2
(138)     [DISC] (1) Boolean $SEV_33
(139)     [DISC] (2) Boolean[2] disjunctiveClock.forbidden_state.u2
(140)     [DISC] (2) Boolean[2] conjunctiveClock.input_memory.nor1.u1
(141)     [DISC] (1) Boolean $SEV_32
(142)     [DISC] (2) Boolean[2] disjunctiveClock.input_memory.nor1.u1
(143)     [ALGB] (1) Real rotational_clock_2.angular_offset.y
(144)     [DISC] (1) Boolean $SEV_31
(145)     [DISC] (2) Boolean[2] disjunctiveClock.input_memory.nor1.u2
(146)     [DISC] (1) Boolean $SEV_30
(147)     [ALGB] (1) Clock sample_conjunctive.clock
(148)     [DISC] (1) Boolean rotational_clock_1.less.y
(149)     [DISC] (2) Boolean[2] conjunctiveClock.suppress_S.y
(150)     [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.input_ticked.u
(151)     [DISC] (2) Boolean[2] disjunctiveClock.input_ticked.input_ticked.y
(152)     [DISC] (2) Boolean[2] $SEV_15[$i1]
(153)     [DISC] (2) Boolean[2] disjunctiveClock.input_memory.nor.u1
(154)     [DISC] (2) Boolean[2] disjunctiveClock.input_memory.nor.u2
(155)     [ALGB] (1) Real rotational_clock_1.update_direction.y
(156)     [DISC] (2) Boolean[2] $SEV_10[$i1]


System Equations (192/234)
****************************
(1)       [SCAL] (1) conjunctiveClock.input_ticked[1].input_hold.y = conjunctiveClock.input_ticked[1].input_sample.u ($RES_SIM_204)
(2)       [SCAL] (1) conjunctiveClock.input_ticked[1].input_hold.y = conjunctiveClock.input_ticked[1].input_ticked.u ($RES_SIM_205)
(3)       [SCAL] (1) rotational_clock_2.update_offset.y = $SEV_26 ($RES_SIM_80)
(4)       [SCAL] (1) disjunctiveClock.splitter.y[2] = disjunctiveClock.forbidden_state[2].u1 ($RES_SIM_120)
(5)       [SCAL] (1) conjunctiveClock.input_ticked[2].input_hold.y = conjunctiveClock.input_ticked[2].input_sample.u ($RES_SIM_206)
(6)       [SCAL] (1) rotational_clock_2.update_offset.clock = Clock(rotational_clock_2.less.y, 0.0) ($RES_SIM_81)
(7)       [SCAL] (1) disjunctiveClock.splitter.y[1] = disjunctiveClock.input_memory[1].R ($RES_SIM_121)
(8)       [SCAL] (1) conjunctiveClock.input_ticked[2].input_hold.y = conjunctiveClock.input_ticked[2].input_ticked.u ($RES_SIM_207)
(9)       [SCAL] (1) rotational_clock_1.update_direction.y = $SEV_27 ($RES_SIM_82)
(10)      [SCAL] (1) disjunctiveClock.splitter.y[1] = disjunctiveClock.forbidden_state[1].u1 ($RES_SIM_122)
(11)      [SCAL] (1) conjunctiveClock.input_ticked[1].input_sample.y = conjunctiveClock.input_ticked[1].input_tick.u ($RES_SIM_208)
(12)      [-IF-] (1)if firstTick() then
(12)      [----]   [SCAL] (1) rotational_clock_1.changed.y = false ($RES_SIM_84)
(12)      [----] else
(12)      [----]   [SCAL] (1) rotational_clock_1.changed.y = not $SEV_28 ($RES_SIM_85)
(12)      [----] end if;
(13)      [ARRY] (2) disjunctiveClock.S_false.y = disjunctiveClock.suppress_S.u1 ($RES_SIM_123)
(14)      [SCAL] (1) conjunctiveClock.input_ticked[2].input_sample.y = conjunctiveClock.input_ticked[2].input_tick.u ($RES_SIM_209)
(15)      [ARRY] (2) disjunctiveClock.input_memory.Q = disjunctiveClock.combinator.u ($RES_SIM_124)
(16)      [ARRY] (2) disjunctiveClock.suppress_S.y = disjunctiveClock.input_memory.S ($RES_SIM_125)
(17)      [SCAL] (1) rotational_clock_1.changed.u = if $SEV_29 then integer($FUN_4) else integer($FUN_5) ($RES_SIM_86)
(18)      [SCAL] (1) rotational_clock_1.direction_sign.y = if noEvent($SEV_30) then 1.0 else if noEvent($SEV_31) then -1.0 else 0.0 ($RES_SIM_87)
(19)      [SCAL] (1) rotational_clock_1.abs1.y = if noEvent($SEV_32) then rotational_clock_1.abs1.u else -rotational_clock_1.abs1.u ($RES_SIM_88)
(20)      [SCAL] (1) rotational_clock_1.abs2.y = if noEvent($SEV_24) then rotational_clock_1.trigger_interval else -rotational_clock_1.trigger_interval ($RES_SIM_89)
(21)      [SCAL] (1) $SEV_18 = sample(7, rotational_clock_2.abs1.u, rotational_clock_2.update_offset.clock) ($RES_EVT_291)
(22)      [SCAL] (1) $SEV_19 = rotational_clock_2.changed.u == previous(rotational_clock_2.changed.u) ($RES_EVT_292)
(23)      [SCAL] (1) $SEV_20 = rotational_clock_2.direction_sign.y > 0.0 ($RES_EVT_293)
(24)      [SCAL] (1) $SEV_21 = rotational_clock_2.update_direction.y > 0.0 ($RES_EVT_294)
(25)      [SCAL] (1) $SEV_22 = rotational_clock_2.update_direction.y < 0.0 ($RES_EVT_295)
(26)      [SCAL] (1) $SEV_23 = rotational_clock_2.abs1.u >= 0.0 ($RES_EVT_296)
(27)      [SCAL] (1) $SEV_24 = rotational_clock_1.trigger_interval >= 0.0 ($RES_EVT_297)
(28)      [SCAL] (1) sample_disjunctive.y = $SEV_6 ($RES_SIM_13)
(29)      [SCAL] (1) $SEV_25 = rotational_clock_2.abs2.y < rotational_clock_2.abs1.y ($RES_EVT_298)
(30)      [SCAL] (1) sample_conjunctive.y = $SEV_7 ($RES_SIM_14)
(31)      [SCAL] (1) $SEV_26 = sample(8, cosine_angle_input.y, rotational_clock_2.update_offset.clock) ($RES_EVT_299)
(32)      [ARRY] (2) disjunctiveClock.splitter.y = {disjunctiveClock.splitter.u for $i1 in 1:2} ($RES_SIM_15)
(33)      [SCAL] (1) disjunctiveClock.splitter.u = change(disjunctiveClock.reset_ticked.input_sample.u) ($RES_SIM_16)
(34)      [SCAL] (1) rotational_clock_1.less.y = $SEV_33 ($RES_SIM_90)
(35)      [SCAL] (1) rotational_clock_1.abs1.u = rotational_clock_1.sub.k1 * rotational_clock_1.update_offset.u + rotational_clock_1.sub.k2 * rotational_clock_1.angular_offset.y ($RES_SIM_91)
(36)      [SCAL] (1) disjunctiveClock.reset_ticked.input_sample.y = $SEV_8 ($RES_SIM_19)
(37)      [SCAL] (1) rotational_clock_1.update_offset.y = $SEV_34 ($RES_SIM_93)
(38)      [SCAL] (1) rotational_clock_1.update_offset.clock = Clock(rotational_clock_1.less.y, 0.0) ($RES_SIM_94)
(39)      [SCAL] (1) rotational_clock_1.trigger_interval = trigger_interval_input.offset + (if $SEV_35 then 0.0 else if $SEV_36 then trigger_interval_input.amplitude else 0.0) ($RES_SIM_95)
(40)      [SCAL] (1) disjunctiveClock.input_memory[1].R = disjunctiveClock.input_memory[1].nor1.u2 ($RES_SIM_135)
(41)      [WHEN] (1)when $SEV_37 then 
(41)      [----]   trigger_interval_input.T_start := time
(41)      [----] end when;
(42)      [SCAL] (1) disjunctiveClock.input_memory[2].R = disjunctiveClock.input_memory[2].nor1.u2 ($RES_SIM_136)
(43)      [WHEN] (1)when $SEV_37 then 
(43)      [----]   trigger_interval_input.count := $PRE.trigger_interval_input.count + 1
(43)      [----] end when;
(44)      [SCAL] (1) disjunctiveClock.input_memory[1].S = disjunctiveClock.input_memory[1].nor.u1 ($RES_SIM_137)
(45)      [SCAL] (1) cosine_angle_input.y = cosine_angle_input.offset + (if $TEV_6 then 0.0 else cosine_angle_input.amplitude * $FUN_2) ($RES_SIM_98)
(46)      [SCAL] (1) disjunctiveClock.input_memory[2].S = disjunctiveClock.input_memory[2].nor.u1 ($RES_SIM_138)
(47)      [SCAL] (1) rotational_clock_1.update_offset.u = sine_angle_input.offset + (if $TEV_7 then 0.0 else sine_angle_input.amplitude * $FUN_1) ($RES_SIM_99)
(48)      [SCAL] (1) disjunctiveClock.input_memory[1].pre.y = disjunctiveClock.input_memory[1].nor1.u1 ($RES_SIM_139)
(49)      [SCAL] (1) $SEV_27 = sample(9, rotational_clock_1.abs1.u, rotational_clock_1.update_offset.clock) ($RES_EVT_300)
(50)      [SCAL] (1) $SEV_28 = rotational_clock_1.changed.u == previous(rotational_clock_1.changed.u) ($RES_EVT_301)
(51)      [SCAL] (1) $SEV_29 = rotational_clock_1.direction_sign.y > 0.0 ($RES_EVT_302)
(52)      [SCAL] (1) $SEV_30 = rotational_clock_1.update_direction.y > 0.0 ($RES_EVT_303)
(53)      [SCAL] (1) $SEV_31 = rotational_clock_1.update_direction.y < 0.0 ($RES_EVT_304)
(54)      [SCAL] (1) $SEV_32 = rotational_clock_1.abs1.u >= 0.0 ($RES_EVT_305)
(55)      [SCAL] (1) $SEV_33 = rotational_clock_1.abs2.y < rotational_clock_1.abs1.y ($RES_EVT_306)
(56)      [SCAL] (1) $SEV_34 = sample(10, rotational_clock_1.update_offset.u, rotational_clock_1.update_offset.clock) ($RES_EVT_307)
(57)      [SCAL] (1) $SEV_35 = (time < trigger_interval_input.startTime or trigger_interval_input.nperiod == 0) or trigger_interval_input.nperiod > 0 and trigger_interval_input.count >= trigger_interval_input.nperiod ($RES_EVT_308)
(58)      [SCAL] (1) $SEV_36 = time < (trigger_interval_input.T_start + trigger_interval_input.T_width) ($RES_EVT_309)
(59)      [FOR-] (2) ($RES_SIM_20)
(59)      [----] for $i1 in 1:2 loop
(59)      [----]   [SCAL] (1) disjunctiveClock.input_memory[$i1].pre.y = $TEV_1 ($RES_SIM_21)
(59)      [----] end for;
(60)      [FOR-] (2) ($RES_SIM_22)
(60)      [----] for $i1 in 1:2 loop
(60)      [----]   [SCAL] (1) disjunctiveClock.input_memory[$i1].nor1.y = not $SEV_9[$i1] ($RES_SIM_23)
(60)      [----] end for;
(61)      [FOR-] (2) ($RES_SIM_24)
(61)      [----] for $i1 in 1:2 loop
(61)      [----]   [SCAL] (1) disjunctiveClock.input_memory[$i1].nor.y = not $SEV_10[$i1] ($RES_SIM_25)
(61)      [----] end for;
(62)      [FOR-] (2) ($RES_SIM_26)
(62)      [----] for $i1 in 1:2 loop
(62)      [----]   [SCAL] (1) disjunctiveClock.suppress_S[$i1].y = if disjunctiveClock.suppress_S[$i1].u2 then disjunctiveClock.suppress_S[$i1].u1 else disjunctiveClock.suppress_S[$i1].u3 ($RES_SIM_27)
(62)      [----] end for;
(63)      [SCAL] (1) disjunctiveClock.input_memory[1].pre.y = disjunctiveClock.input_memory[1].QI ($RES_SIM_140)
(64)      [FOR-] (2) ($RES_SIM_28)
(64)      [----] for $i1 in 1:2 loop
(64)      [----]   [SCAL] (1) disjunctiveClock.S_false[$i1].y = disjunctiveClock.S_false[$i1].k ($RES_SIM_29)
(64)      [----] end for;
(65)      [SCAL] (1) disjunctiveClock.input_memory[2].pre.y = disjunctiveClock.input_memory[2].nor1.u1 ($RES_SIM_141)
(66)      [SCAL] (1) disjunctiveClock.input_memory[2].pre.y = disjunctiveClock.input_memory[2].QI ($RES_SIM_142)
(67)      [SCAL] (1) disjunctiveClock.input_memory[1].nor.y = disjunctiveClock.input_memory[1].pre.u ($RES_SIM_143)
(68)      [SCAL] (1) disjunctiveClock.input_memory[2].nor.y = disjunctiveClock.input_memory[2].pre.u ($RES_SIM_144)
(69)      [SCAL] (1) disjunctiveClock.input_memory[1].nor1.y = disjunctiveClock.input_memory[1].nor.u2 ($RES_SIM_145)
(70)      [SCAL] (1) disjunctiveClock.input_memory[1].nor1.y = disjunctiveClock.input_memory[1].Q ($RES_SIM_146)
(71)      [SCAL] (1) disjunctiveClock.input_memory[2].nor1.y = disjunctiveClock.input_memory[2].nor.u2 ($RES_SIM_147)
(72)      [SCAL] (1) disjunctiveClock.input_memory[2].nor1.y = disjunctiveClock.input_memory[2].Q ($RES_SIM_148)
(73)      [SCAL] (1) disjunctiveClock.input_ticked[1].input_ticked.y = disjunctiveClock.input_ticked[1].y ($RES_SIM_149)
(74)      [SCAL] (1) $FUN_1 = sin(6.283185307179586 * sine_angle_input.freqHz * (time - sine_angle_input.startTime) + sine_angle_input.phase) ($RES_$AUX_262)
(75)      [SCAL] (1) $SEV_37 = integer((time - trigger_interval_input.startTime) / trigger_interval_input.period) > $PRE.trigger_interval_input.count ($RES_EVT_310)
(76)      [SCAL] (1) $FUN_2 = cos(6.283185307179586 * cosine_angle_input.freqHz * (time - cosine_angle_input.startTime) + cosine_angle_input.phase) ($RES_$AUX_261)
(77)      [SCAL] (1) rotational_clock_1.angular_offset.y = hold(rotational_clock_1.update_offset.y) ($RES_$AUX_260)
(78)      [FOR-] (2) ($RES_SIM_30)
(78)      [----] for $i1 in 1:2 loop
(78)      [----]   [SCAL] (1) disjunctiveClock.forbidden_state[$i1].y = $SEV_11[$i1] ($RES_SIM_31)
(78)      [----] end for;
(79)      [FOR-] (2) ($RES_SIM_32)
(79)      [----] for $i1 in 1:2 loop
(79)      [----]   [SCAL] (1) disjunctiveClock.input_ticked[$i1].input_ticked.y = change(disjunctiveClock.input_ticked[$i1].input_ticked.u) ($RES_SIM_33)
(79)      [----] end for;
(80)      [FOR-] (2) ($RES_SIM_34)
(80)      [----] for $i1 in 1:2 loop
(80)      [----]   [SCAL] (1) disjunctiveClock.input_ticked[$i1].input_hold.y = $FUN_13[$i1] ($RES_SIM_35)
(80)      [----] end for;
(81)      [FOR-] (2) ($RES_SIM_36)
(81)      [----] for $i1 in 1:2 loop
(81)      [----]   [SCAL] (1) disjunctiveClock.input_ticked[$i1].input_tick.y = not disjunctiveClock.input_ticked[$i1].input_tick.u ($RES_SIM_37)
(81)      [----] end for;
(82)      [SCAL] (1) disjunctiveClock.input_ticked[2].input_ticked.y = disjunctiveClock.input_ticked[2].y ($RES_SIM_150)
(83)      [FOR-] (2) ($RES_SIM_38)
(83)      [----] for $i1 in 1:2 loop
(83)      [----]   [SCAL] (1) disjunctiveClock.input_ticked[$i1].input_sample.y = $SEV_12[$i1] ($RES_SIM_39)
(83)      [----] end for;
(84)      [SCAL] (1) disjunctiveClock.input_ticked[1].u = disjunctiveClock.input_ticked[1].input_sample.clock ($RES_SIM_151)
(85)      [SCAL] (1) disjunctiveClock.input_ticked[2].u = disjunctiveClock.input_ticked[2].input_sample.clock ($RES_SIM_152)
(86)      [SCAL] (1) $FUN_4 = floor(0.5 + rotational_clock_1.direction_sign.y) ($RES_$AUX_259)
(87)      [SCAL] (1) disjunctiveClock.input_ticked[1].input_tick.y = disjunctiveClock.input_ticked[1].input_hold.u ($RES_SIM_153)
(88)      [SCAL] (1) $FUN_5 = ceil((-0.5) + rotational_clock_1.direction_sign.y) ($RES_$AUX_258)
(89)      [SCAL] (1) disjunctiveClock.input_ticked[2].input_tick.y = disjunctiveClock.input_ticked[2].input_hold.u ($RES_SIM_154)
(90)      [SCAL] (1) rotational_clock_2.angular_offset.y = hold(rotational_clock_2.update_offset.y) ($RES_$AUX_257)
(91)      [SCAL] (1) disjunctiveClock.input_ticked[1].input_hold.y = disjunctiveClock.input_ticked[1].input_sample.u ($RES_SIM_155)
(92)      [SCAL] (1) $FUN_7 = floor(0.5 + rotational_clock_2.direction_sign.y) ($RES_$AUX_256)
(93)      [SCAL] (1) disjunctiveClock.input_ticked[1].input_hold.y = disjunctiveClock.input_ticked[1].input_ticked.u ($RES_SIM_156)
(94)      [SCAL] (1) $FUN_8 = ceil((-0.5) + rotational_clock_2.direction_sign.y) ($RES_$AUX_255)
(95)      [SCAL] (1) disjunctiveClock.input_ticked[2].input_hold.y = disjunctiveClock.input_ticked[2].input_sample.u ($RES_SIM_157)
(96)      [SCAL] (1) conjunctiveClock.combinator.y = Modelica.Math.BooleanVectors.allTrue(conjunctiveClock.combinator.u) ($RES_$AUX_254)
(97)      [SCAL] (1) disjunctiveClock.input_ticked[2].input_hold.y = disjunctiveClock.input_ticked[2].input_ticked.u ($RES_SIM_158)
(98)      [SCAL] (1) disjunctiveClock.input_ticked[1].input_sample.y = disjunctiveClock.input_ticked[1].input_tick.u ($RES_SIM_159)
(99)      [FOR-] (2) ($RES_$AUX_252)
(99)      [----] for $i1 in 1:2 loop
(99)      [----]   [SCAL] (1) $FUN_10[$i1] = hold(conjunctiveClock.input_ticked[$i1].input_hold.u) ($RES_$AUX_253)
(99)      [----] end for;
(100)     [SCAL] (1) conjunctiveClock.reset_ticked.input_sample.u = hold(not conjunctiveClock.reset_ticked.input_sample.y) ($RES_$AUX_251)
(101)     [SCAL] (1) disjunctiveClock.combinator.y = Modelica.Math.BooleanVectors.anyTrue(disjunctiveClock.combinator.u) ($RES_$AUX_250)
(102)     [SCAL] (1) sample_disjunctive.clock = Clock(disjunctiveClock.combinator.y, 0.0) ($RES_SIM_40)
(103)     [ARRY] (2) conjunctiveClock.splitter.y = {conjunctiveClock.splitter.u for $i1 in 1:2} ($RES_SIM_42)
(104)     [SCAL] (1) conjunctiveClock.splitter.u = change(conjunctiveClock.reset_ticked.input_sample.u) ($RES_SIM_43)
(105)     [SCAL] (1) conjunctiveClock.reset_ticked.input_sample.y = $SEV_13 ($RES_SIM_46)
(106)     [FOR-] (2) ($RES_SIM_47)
(106)     [----] for $i1 in 1:2 loop
(106)     [----]   [SCAL] (1) conjunctiveClock.input_memory[$i1].pre.y = $TEV_4 ($RES_SIM_48)
(106)     [----] end for;
(107)     [SCAL] (1) disjunctiveClock.input_ticked[2].input_sample.y = disjunctiveClock.input_ticked[2].input_tick.u ($RES_SIM_160)
(108)     [ARRY] (2) conjunctiveClock.u = conjunctiveClock.input_ticked.u ($RES_SIM_161)
(109)     [FOR-] (2) ($RES_SIM_49)
(109)     [----] for $i1 in 1:2 loop
(109)     [----]   [SCAL] (1) conjunctiveClock.input_memory[$i1].nor1.y = not $SEV_14[$i1] ($RES_SIM_50)
(109)     [----] end for;
(110)     [SCAL] (1) conjunctiveClock.forbidden_state[2].u2 = conjunctiveClock.suppress_S[2].u3 ($RES_SIM_162)
(111)     [SCAL] (1) conjunctiveClock.forbidden_state[2].u2 = conjunctiveClock.input_ticked[2].y ($RES_SIM_163)
(112)     [FOR-] (2) ($RES_$AUX_248)
(112)     [----] for $i1 in 1:2 loop
(112)     [----]   [SCAL] (1) $FUN_13[$i1] = hold(disjunctiveClock.input_ticked[$i1].input_hold.u) ($RES_$AUX_249)
(112)     [----] end for;
(113)     [SCAL] (1) conjunctiveClock.forbidden_state[1].u2 = conjunctiveClock.suppress_S[1].u3 ($RES_SIM_164)
(114)     [SCAL] (1) disjunctiveClock.reset_ticked.input_sample.u = hold(not disjunctiveClock.reset_ticked.input_sample.y) ($RES_$AUX_247)
(115)     [SCAL] (1) conjunctiveClock.forbidden_state[1].u2 = conjunctiveClock.input_ticked[1].y ($RES_SIM_165)
(116)     [ARRY] (2) conjunctiveClock.forbidden_state.y = conjunctiveClock.suppress_S.u2 ($RES_SIM_167)
(117)     [SCAL] (1) conjunctiveClock.splitter.y[2] = conjunctiveClock.input_memory[2].R ($RES_SIM_168)
(118)     [SCAL] (1) conjunctiveClock.splitter.y[2] = conjunctiveClock.forbidden_state[2].u1 ($RES_SIM_169)
(119)     [FOR-] (2) ($RES_SIM_51)
(119)     [----] for $i1 in 1:2 loop
(119)     [----]   [SCAL] (1) conjunctiveClock.input_memory[$i1].nor.y = not $SEV_15[$i1] ($RES_SIM_52)
(119)     [----] end for;
(120)     [FOR-] (2) ($RES_SIM_53)
(120)     [----] for $i1 in 1:2 loop
(120)     [----]   [SCAL] (1) conjunctiveClock.suppress_S[$i1].y = if conjunctiveClock.suppress_S[$i1].u2 then conjunctiveClock.suppress_S[$i1].u1 else conjunctiveClock.suppress_S[$i1].u3 ($RES_SIM_54)
(120)     [----] end for;
(121)     [FOR-] (2) ($RES_SIM_55)
(121)     [----] for $i1 in 1:2 loop
(121)     [----]   [SCAL] (1) conjunctiveClock.S_false[$i1].y = conjunctiveClock.S_false[$i1].k ($RES_SIM_56)
(121)     [----] end for;
(122)     [FOR-] (2) ($RES_SIM_57)
(122)     [----] for $i1 in 1:2 loop
(122)     [----]   [SCAL] (1) conjunctiveClock.forbidden_state[$i1].y = $SEV_16[$i1] ($RES_SIM_58)
(122)     [----] end for;
(123)     [SCAL] (1) conjunctiveClock.splitter.y[1] = conjunctiveClock.input_memory[1].R ($RES_SIM_170)
(124)     [SCAL] (1) conjunctiveClock.splitter.y[1] = conjunctiveClock.forbidden_state[1].u1 ($RES_SIM_171)
(125)     [FOR-] (2) ($RES_SIM_59)
(125)     [----] for $i1 in 1:2 loop
(125)     [----]   [SCAL] (1) conjunctiveClock.input_ticked[$i1].input_ticked.y = change(conjunctiveClock.input_ticked[$i1].input_ticked.u) ($RES_SIM_60)
(125)     [----] end for;
(126)     [ARRY] (2) conjunctiveClock.S_false.y = conjunctiveClock.suppress_S.u1 ($RES_SIM_172)
(127)     [ARRY] (2) conjunctiveClock.input_memory.Q = conjunctiveClock.combinator.u ($RES_SIM_173)
(128)     [ARRY] (2) conjunctiveClock.suppress_S.y = conjunctiveClock.input_memory.S ($RES_SIM_174)
(129)     [SCAL] (1) $TEV_0 = $PRE.disjunctiveClock.reset_ticked.input_sample.u ($RES_EVT_263)
(130)     [SCAL] (1) $TEV_1 = $PRE.disjunctiveClock.input_memory[$i1].pre.u ($RES_EVT_264)
(131)     [SCAL] (1) $TEV_2 = $PRE.disjunctiveClock.input_ticked[$i1].input_ticked.u ($RES_EVT_265)
(132)     [SCAL] (1) $TEV_3 = $PRE.conjunctiveClock.reset_ticked.input_sample.u ($RES_EVT_266)
(133)     [SCAL] (1) $TEV_4 = $PRE.conjunctiveClock.input_memory[$i1].pre.u ($RES_EVT_267)
(134)     [SCAL] (1) $TEV_5 = $PRE.conjunctiveClock.input_ticked[$i1].input_ticked.u ($RES_EVT_268)
(135)     [SCAL] (1) $TEV_6 = time < cosine_angle_input.startTime ($RES_EVT_269)
(136)     [FOR-] (2) ($RES_SIM_61)
(136)     [----] for $i1 in 1:2 loop
(136)     [----]   [SCAL] (1) conjunctiveClock.input_ticked[$i1].input_hold.y = $FUN_10[$i1] ($RES_SIM_62)
(136)     [----] end for;
(137)     [FOR-] (2) ($RES_SIM_63)
(137)     [----] for $i1 in 1:2 loop
(137)     [----]   [SCAL] (1) conjunctiveClock.input_ticked[$i1].input_tick.y = not conjunctiveClock.input_ticked[$i1].input_tick.u ($RES_SIM_64)
(137)     [----] end for;
(138)     [FOR-] (2) ($RES_SIM_65)
(138)     [----] for $i1 in 1:2 loop
(138)     [----]   [SCAL] (1) conjunctiveClock.input_ticked[$i1].input_sample.y = $SEV_17[$i1] ($RES_SIM_66)
(138)     [----] end for;
(139)     [SCAL] (1) rotational_clock_2.update_offset.clock = conjunctiveClock.u[2] ($RES_SIM_105)
(140)     [SCAL] (1) rotational_clock_2.update_offset.clock = disjunctiveClock.u[2] ($RES_SIM_106)
(141)     [SCAL] (1) sample_conjunctive.clock = Clock(conjunctiveClock.combinator.y, 0.0) ($RES_SIM_67)
(142)     [SCAL] (1) rotational_clock_1.update_offset.clock = conjunctiveClock.u[1] ($RES_SIM_107)
(143)     [SCAL] (1) rotational_clock_1.update_offset.clock = disjunctiveClock.u[1] ($RES_SIM_108)
(144)     [SCAL] (1) rotational_clock_2.update_direction.y = $SEV_18 ($RES_SIM_69)
(145)     [SCAL] (1) conjunctiveClock.input_memory[1].R = conjunctiveClock.input_memory[1].nor1.u2 ($RES_SIM_184)
(146)     [SCAL] (1) conjunctiveClock.input_memory[2].R = conjunctiveClock.input_memory[2].nor1.u2 ($RES_SIM_185)
(147)     [SCAL] (1) conjunctiveClock.input_memory[1].S = conjunctiveClock.input_memory[1].nor.u1 ($RES_SIM_186)
(148)     [SCAL] (1) conjunctiveClock.input_memory[2].S = conjunctiveClock.input_memory[2].nor.u1 ($RES_SIM_187)
(149)     [SCAL] (1) conjunctiveClock.input_memory[1].pre.y = conjunctiveClock.input_memory[1].nor1.u1 ($RES_SIM_188)
(150)     [SCAL] (1) conjunctiveClock.input_memory[1].pre.y = conjunctiveClock.input_memory[1].QI ($RES_SIM_189)
(151)     [SCAL] (1) $TEV_7 = time < sine_angle_input.startTime ($RES_EVT_270)
(152)     [SCAL] (1) $SEV_6 = sample(1, rotational_clock_1.update_offset.u, sample_disjunctive.clock) ($RES_EVT_271)
(153)     [SCAL] (1) $SEV_7 = sample(2, rotational_clock_1.update_offset.u, sample_conjunctive.clock) ($RES_EVT_272)
(154)     [SCAL] (1) $SEV_8 = sample(3, disjunctiveClock.reset_ticked.input_sample.u, sample_disjunctive.clock) ($RES_EVT_273)
(155)     [FOR-] (2) ($RES_EVT_274)
(155)     [----] for $i1 in 1:2 loop
(155)     [----]   [SCAL] (1) $SEV_9[$i1] = disjunctiveClock.input_memory[$i1].nor1.u1 or disjunctiveClock.input_memory[$i1].nor1.u2 ($RES_EVT_275)
(155)     [----] end for;
(156)     [FOR-] (2) ($RES_EVT_276)
(156)     [----] for $i1 in 1:2 loop
(156)     [----]   [SCAL] (1) $SEV_10[$i1] = disjunctiveClock.input_memory[$i1].nor.u1 or disjunctiveClock.input_memory[$i1].nor.u2 ($RES_EVT_277)
(156)     [----] end for;
(157)     [FOR-] (2) ($RES_EVT_278)
(157)     [----] for $i1 in 1:2 loop
(157)     [----]   [SCAL] (1) $SEV_11[$i1] = disjunctiveClock.forbidden_state[$i1].u1 and disjunctiveClock.forbidden_state[$i1].u2 ($RES_EVT_279)
(157)     [----] end for;
(158)     [-IF-] (1)if firstTick() then
(158)     [----]   [SCAL] (1) rotational_clock_2.changed.y = false ($RES_SIM_71)
(158)     [----] else
(158)     [----]   [SCAL] (1) rotational_clock_2.changed.y = not $SEV_19 ($RES_SIM_72)
(158)     [----] end if;
(159)     [SCAL] (1) trigger_interval_input.T_width = 0.01 * trigger_interval_input.width * trigger_interval_input.period ($RES_BND_246)
(160)     [ARRY] (2) disjunctiveClock.u = disjunctiveClock.input_ticked.u ($RES_SIM_112)
(161)     [SCAL] (1) rotational_clock_2.changed.u = if $SEV_20 then integer($FUN_7) else integer($FUN_8) ($RES_SIM_73)
(162)     [SCAL] (1) disjunctiveClock.forbidden_state[2].u2 = disjunctiveClock.suppress_S[2].u3 ($RES_SIM_113)
(163)     [SCAL] (1) rotational_clock_2.direction_sign.y = if noEvent($SEV_21) then 1.0 else if noEvent($SEV_22) then -1.0 else 0.0 ($RES_SIM_74)
(164)     [SCAL] (1) disjunctiveClock.forbidden_state[2].u2 = disjunctiveClock.input_ticked[2].y ($RES_SIM_114)
(165)     [SCAL] (1) rotational_clock_2.abs1.y = if noEvent($SEV_23) then rotational_clock_2.abs1.u else -rotational_clock_2.abs1.u ($RES_SIM_75)
(166)     [SCAL] (1) disjunctiveClock.forbidden_state[1].u2 = disjunctiveClock.suppress_S[1].u3 ($RES_SIM_115)
(167)     [SCAL] (1) rotational_clock_2.abs2.y = if noEvent($SEV_24) then rotational_clock_1.trigger_interval else -rotational_clock_1.trigger_interval ($RES_SIM_76)
(168)     [SCAL] (1) disjunctiveClock.forbidden_state[1].u2 = disjunctiveClock.input_ticked[1].y ($RES_SIM_116)
(169)     [SCAL] (1) rotational_clock_2.less.y = $SEV_25 ($RES_SIM_77)
(170)     [SCAL] (1) conjunctiveClock.input_memory[2].pre.y = conjunctiveClock.input_memory[2].nor1.u1 ($RES_SIM_190)
(171)     [SCAL] (1) rotational_clock_2.abs1.u = rotational_clock_2.sub.k1 * cosine_angle_input.y + rotational_clock_2.sub.k2 * rotational_clock_2.angular_offset.y ($RES_SIM_78)
(172)     [SCAL] (1) conjunctiveClock.input_memory[2].pre.y = conjunctiveClock.input_memory[2].QI ($RES_SIM_191)
(173)     [ARRY] (2) disjunctiveClock.forbidden_state.y = disjunctiveClock.suppress_S.u2 ($RES_SIM_118)
(174)     [SCAL] (1) conjunctiveClock.input_memory[1].nor.y = conjunctiveClock.input_memory[1].pre.u ($RES_SIM_192)
(175)     [SCAL] (1) disjunctiveClock.splitter.y[2] = disjunctiveClock.input_memory[2].R ($RES_SIM_119)
(176)     [SCAL] (1) conjunctiveClock.input_memory[2].nor.y = conjunctiveClock.input_memory[2].pre.u ($RES_SIM_193)
(177)     [SCAL] (1) conjunctiveClock.input_memory[1].nor1.y = conjunctiveClock.input_memory[1].nor.u2 ($RES_SIM_194)
(178)     [SCAL] (1) conjunctiveClock.input_memory[1].nor1.y = conjunctiveClock.input_memory[1].Q ($RES_SIM_195)
(179)     [SCAL] (1) conjunctiveClock.input_memory[2].nor1.y = conjunctiveClock.input_memory[2].nor.u2 ($RES_SIM_196)
(180)     [SCAL] (1) conjunctiveClock.input_memory[2].nor1.y = conjunctiveClock.input_memory[2].Q ($RES_SIM_197)
(181)     [SCAL] (1) conjunctiveClock.input_ticked[1].input_ticked.y = conjunctiveClock.input_ticked[1].y ($RES_SIM_198)
(182)     [SCAL] (1) conjunctiveClock.input_ticked[2].input_ticked.y = conjunctiveClock.input_ticked[2].y ($RES_SIM_199)
(183)     [FOR-] (2) ($RES_EVT_280)
(183)     [----] for $i1 in 1:2 loop
(183)     [----]   [SCAL] (1) $SEV_12[$i1] = sample(4, disjunctiveClock.input_ticked[$i1].input_sample.u, disjunctiveClock.input_ticked[$i1].input_sample.clock) ($RES_EVT_281)
(183)     [----] end for;
(184)     [SCAL] (1) $SEV_13 = sample(5, conjunctiveClock.reset_ticked.input_sample.u, sample_conjunctive.clock) ($RES_EVT_282)
(185)     [FOR-] (2) ($RES_EVT_283)
(185)     [----] for $i1 in 1:2 loop
(185)     [----]   [SCAL] (1) $SEV_14[$i1] = conjunctiveClock.input_memory[$i1].nor1.u1 or conjunctiveClock.input_memory[$i1].nor1.u2 ($RES_EVT_284)
(185)     [----] end for;
(186)     [FOR-] (2) ($RES_EVT_285)
(186)     [----] for $i1 in 1:2 loop
(186)     [----]   [SCAL] (1) $SEV_15[$i1] = conjunctiveClock.input_memory[$i1].nor.u1 or conjunctiveClock.input_memory[$i1].nor.u2 ($RES_EVT_286)
(186)     [----] end for;
(187)     [SCAL] (1) conjunctiveClock.input_ticked[1].u = conjunctiveClock.input_ticked[1].input_sample.clock ($RES_SIM_200)
(188)     [FOR-] (2) ($RES_EVT_287)
(188)     [----] for $i1 in 1:2 loop
(188)     [----]   [SCAL] (1) $SEV_16[$i1] = conjunctiveClock.forbidden_state[$i1].u1 and conjunctiveClock.forbidden_state[$i1].u2 ($RES_EVT_288)
(188)     [----] end for;
(189)     [SCAL] (1) conjunctiveClock.input_ticked[2].u = conjunctiveClock.input_ticked[2].input_sample.clock ($RES_SIM_201)
(190)     [SCAL] (1) conjunctiveClock.input_ticked[1].input_tick.y = conjunctiveClock.input_ticked[1].input_hold.u ($RES_SIM_202)
(191)     [FOR-] (2) ($RES_EVT_289)
(191)     [----] for $i1 in 1:2 loop
(191)     [----]   [SCAL] (1) $SEV_17[$i1] = sample(6, conjunctiveClock.input_ticked[$i1].input_sample.u, conjunctiveClock.input_ticked[$i1].input_sample.clock) ($RES_EVT_290)
(191)     [----] end for;
(192)     [SCAL] (1) conjunctiveClock.input_ticked[2].input_tick.y = conjunctiveClock.input_ticked[2].input_hold.u ($RES_SIM_203)