Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.1_Modelica.Electrical.Digital.Examples.Adder4.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.Electrical.Digital.Examples.Adder4,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.1_Modelica.Electrical.Digital.Examples.Adder4")
translateModel(Modelica.Electrical.Digital.Examples.Adder4,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.1_Modelica.Electrical.Digital.Examples.Adder4")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001354/0.001354, allocations: 106.5 kB / 16.42 MB, free: 6.465 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.001403/0.001403, allocations: 191.7 kB / 17.36 MB, free: 5.707 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.384/1.384, allocations: 205.1 MB / 223.2 MB, free: 12.22 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.242e-05/2.243e-05, allocations: 6.219 kB / 327.2 MB, free: 3.336 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Adder4): time 0.005936/0.005967, allocations: 5.845 MB / 333 MB, free: 13.46 MB / 286.1 MB
Notification: Performance of NFInst.instExpressions: time 0.004426/0.01041, allocations: 2.488 MB / 335.5 MB, free: 10.96 MB / 286.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0003759/0.0108, allocations: 23.88 kB / 335.5 MB, free: 10.94 MB / 286.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0004552/0.01126, allocations: 237.8 kB / 335.8 MB, free: 10.71 MB / 286.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0005296/0.01182, allocations: 281.7 kB / 336 MB, free: 10.43 MB / 286.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.001542/0.01337, allocations: 0.8468 MB / 336.9 MB, free: 9.582 MB / 286.1 MB
Notification: Performance of NFFlatten.flatten: time 0.002705/0.01608, allocations: 3.026 MB / 339.9 MB, free: 6.551 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0009868/0.01708, allocations: 0.8336 MB / 340.8 MB, free: 5.68 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.002713/0.0198, allocations: 2.959 MB / 343.7 MB, free: 2.715 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.001516/0.02133, allocations: 1.308 MB / 345 MB, free: 1.402 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0004388/0.02178, allocations: 292 kB / 345.3 MB, free: 1.117 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0004508/0.02223, allocations: 304 kB / 345.6 MB, free: 0.8203 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.002385/0.02463, allocations: 2.89 MB / 348.5 MB, free: 13.9 MB / 302.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0008665/0.0255, allocations: 1.424 MB / 349.9 MB, free: 12.46 MB / 302.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0004313/0.02594, allocations: 347.7 kB / 350.3 MB, free: 12.12 MB / 302.1 MB
Notification: Performance of FrontEnd: time 0.000175/0.02612, allocations: 63.5 kB / 350.3 MB, free: 12.05 MB / 302.1 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 341 (245)
 * Number of variables: 341 (285)
Notification: Performance of Bindings: time 0.008083/0.03421, allocations: 8.609 MB / 358.9 MB, free: 3.242 MB / 302.1 MB
Notification: Performance of FunctionAlias: time 0.001615/0.03584, allocations: 1.56 MB / 360.5 MB, free: 1.637 MB / 302.1 MB
Notification: Performance of Early Inline: time 0.007093/0.04295, allocations: 6.838 MB / 367.3 MB, free: 10.74 MB / 318.1 MB
Notification: Performance of simplify1: time 0.000374/0.04334, allocations: 195.5 kB / 367.5 MB, free: 10.55 MB / 318.1 MB
Notification: Performance of Alias: time 0.007169/0.05052, allocations: 6.544 MB / 374.1 MB, free: 3.586 MB / 318.1 MB
Notification: Performance of simplify2: time 0.0003206/0.05086, allocations: 139.5 kB / 374.2 MB, free: 3.449 MB / 318.1 MB
Notification: Performance of Events: time 0.003016/0.05388, allocations: 2.084 MB / 376.3 MB, free: 1.352 MB / 318.1 MB
Notification: Performance of Detect States: time 0.1859/0.2398, allocations: 3.526 MB / 379.8 MB, free: 38.22 MB / 318.1 MB
Notification: Performance of Partitioning: time 0.002706/0.2425, allocations: 2.248 MB / 382.1 MB, free: 38.03 MB / 318.1 MB
Error: Internal error NBResolveSingularities.noIndexReduction failed.
(32|32) Unmatched Variables
*****************************
        [DISC] (1) protected discrete Real Adder1.Adder2.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder3.Adder1.AND.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder4.Adder1.AND.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder4.Adder2.AND.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder1.Adder1.AND.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder3.Adder2.XOR.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder3.Adder1.XOR.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder2.Adder2.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder3.Adder2.AND.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder3.Adder2.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder3.Adder1.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder2.Adder1.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder1.Adder2.AND.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder2.Adder2.AND.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder4.Adder2.AND.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder1.Adder1.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder1.Adder1.AND.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder2.Adder1.AND.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder1.Adder2.XOR.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder2.Adder2.XOR.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder1.Adder2.AND.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder4.Adder1.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder1.Adder1.XOR.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder2.Adder1.XOR.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder2.Adder2.AND.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder2.Adder1.AND.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder3.Adder1.AND.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder4.Adder1.XOR.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder4.Adder2.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder4.Adder2.XOR.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder3.Adder2.AND.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder4.Adder1.AND.G2.lh
         slice: {}

(16|32) Unmatched Equations
*****************************
        [ALGO] (6) ($RES_SIM_10)
[----] when {initial(), ((Adder2.Adder2.XOR.G2.tLH > 0.0 or Adder2.Adder2.XOR.G2.tHL > 0.0) and change(Adder2.Adder2.XOR.G2.x)) and not initial()} then
[----]   Adder2.Adder2.XOR.G2.y_old := if initial() or $PRE.Adder2.Adder2.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder2.Adder2.XOR.G2.y0 else $PRE.Adder2.Adder2.XOR.G2.y;
[----]   Adder2.Adder2.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder2.Adder2.XOR.G2.y_old, Adder2.Adder2.XOR.G2.x];
[----]   Adder2.Adder2.XOR.G2.delayTime := if Adder2.Adder2.XOR.G2.lh > 0 then Adder2.Adder2.XOR.G2.tLH else if Adder2.Adder2.XOR.G2.lh < 0 then Adder2.Adder2.XOR.G2.tHL else 0.0;
[----]   Adder2.Adder2.XOR.G2.t_next := time + Adder2.Adder2.XOR.G2.delayTime;

[----]   if Adder2.Adder2.XOR.G2.lh == 0 or $FUN_6 < 1e-60 then
[----]     Adder2.Adder2.XOR.G2.y_auxiliary := Adder2.Adder2.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder2.Adder2.XOR.G2.t_next then
[----]   Adder2.Adder2.XOR.G2.y_auxiliary := Adder2.Adder2.XOR.G2.x;
[----] end when;

[----] Adder2.Adder2.XOR.G2.y := if Adder2.Adder2.XOR.G2.tLH > 0.0 or Adder2.Adder2.XOR.G2.tHL > 0.0 then Adder2.Adder2.XOR.G2.y_auxiliary else Adder2.Adder2.XOR.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_11)
[----] when {initial(), ((Adder2.Adder2.AND.G2.tLH > 0.0 or Adder2.Adder2.AND.G2.tHL > 0.0) and change(Adder2.Adder2.AND.G2.x)) and not initial()} then
[----]   Adder2.Adder2.AND.G2.y_old := if initial() or $PRE.Adder2.Adder2.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder2.Adder2.AND.G2.y0 else $PRE.Adder2.Adder2.AND.G2.y;
[----]   Adder2.Adder2.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder2.Adder2.AND.G2.y_old, Adder2.Adder2.AND.G2.x];
[----]   Adder2.Adder2.AND.G2.delayTime := if Adder2.Adder2.AND.G2.lh > 0 then Adder2.Adder2.AND.G2.tLH else if Adder2.Adder2.AND.G2.lh < 0 then Adder2.Adder2.AND.G2.tHL else 0.0;
[----]   Adder2.Adder2.AND.G2.t_next := time + Adder2.Adder2.AND.G2.delayTime;

[----]   if Adder2.Adder2.AND.G2.lh == 0 or $FUN_5 < 1e-60 then
[----]     Adder2.Adder2.AND.G2.y_auxiliary := Adder2.Adder2.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder2.Adder2.AND.G2.t_next then
[----]   Adder2.Adder2.AND.G2.y_auxiliary := Adder2.Adder2.AND.G2.x;
[----] end when;

[----] Adder2.Adder2.AND.G2.y := if Adder2.Adder2.AND.G2.tLH > 0.0 or Adder2.Adder2.AND.G2.tHL > 0.0 then Adder2.Adder2.AND.G2.y_auxiliary else Adder2.Adder2.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_12)
[----] when {initial(), ((Adder1.Adder1.XOR.G2.tLH > 0.0 or Adder1.Adder1.XOR.G2.tHL > 0.0) and change(Adder1.Adder1.XOR.G2.x)) and not initial()} then
[----]   Adder1.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder1.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder1.XOR.G2.y0 else $PRE.Adder1.Adder1.XOR.G2.y;
[----]   Adder1.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder1.XOR.G2.y_old, Adder1.Adder1.XOR.G2.x];
[----]   Adder1.Adder1.XOR.G2.delayTime := if Adder1.Adder1.XOR.G2.lh > 0 then Adder1.Adder1.XOR.G2.tLH else if Adder1.Adder1.XOR.G2.lh < 0 then Adder1.Adder1.XOR.G2.tHL else 0.0;
[----]   Adder1.Adder1.XOR.G2.t_next := time + Adder1.Adder1.XOR.G2.delayTime;

[----]   if Adder1.Adder1.XOR.G2.lh == 0 or $FUN_4 < 1e-60 then
[----]     Adder1.Adder1.XOR.G2.y_auxiliary := Adder1.Adder1.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder1.Adder1.XOR.G2.t_next then
[----]   Adder1.Adder1.XOR.G2.y_auxiliary := Adder1.Adder1.XOR.G2.x;
[----] end when;

[----] Adder1.Adder1.XOR.G2.y := if Adder1.Adder1.XOR.G2.tLH > 0.0 or Adder1.Adder1.XOR.G2.tHL > 0.0 then Adder1.Adder1.XOR.G2.y_auxiliary else Adder1.Adder1.XOR.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_13)
[----] when {initial(), ((Adder1.Adder1.AND.G2.tLH > 0.0 or Adder1.Adder1.AND.G2.tHL > 0.0) and change(Adder1.Adder1.AND.G2.x)) and not initial()} then
[----]   Adder1.Adder1.AND.G2.y_old := if initial() or $PRE.Adder1.Adder1.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder1.AND.G2.y0 else $PRE.Adder1.Adder1.AND.G2.y;
[----]   Adder1.Adder1.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder1.AND.G2.y_old, Adder1.Adder1.AND.G2.x];
[----]   Adder1.Adder1.AND.G2.delayTime := if Adder1.Adder1.AND.G2.lh > 0 then Adder1.Adder1.AND.G2.tLH else if Adder1.Adder1.AND.G2.lh < 0 then Adder1.Adder1.AND.G2.tHL else 0.0;
[----]   Adder1.Adder1.AND.G2.t_next := time + Adder1.Adder1.AND.G2.delayTime;

[----]   if Adder1.Adder1.AND.G2.lh == 0 or $FUN_3 < 1e-60 then
[----]     Adder1.Adder1.AND.G2.y_auxiliary := Adder1.Adder1.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder1.Adder1.AND.G2.t_next then
[----]   Adder1.Adder1.AND.G2.y_auxiliary := Adder1.Adder1.AND.G2.x;
[----] end when;

[----] Adder1.Adder1.AND.G2.y := if Adder1.Adder1.AND.G2.tLH > 0.0 or Adder1.Adder1.AND.G2.tHL > 0.0 then Adder1.Adder1.AND.G2.y_auxiliary else Adder1.Adder1.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_14)
[----] when {initial(), ((Adder1.Adder2.XOR.G2.tLH > 0.0 or Adder1.Adder2.XOR.G2.tHL > 0.0) and change(Adder1.Adder2.XOR.G2.x)) and not initial()} then
[----]   Adder1.Adder2.XOR.G2.y_old := if initial() or $PRE.Adder1.Adder2.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder2.XOR.G2.y0 else $PRE.Adder1.Adder2.XOR.G2.y;
[----]   Adder1.Adder2.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder2.XOR.G2.y_old, Adder1.Adder2.XOR.G2.x];
[----]   Adder1.Adder2.XOR.G2.delayTime := if Adder1.Adder2.XOR.G2.lh > 0 then Adder1.Adder2.XOR.G2.tLH else if Adder1.Adder2.XOR.G2.lh < 0 then Adder1.Adder2.XOR.G2.tHL else 0.0;
[----]   Adder1.Adder2.XOR.G2.t_next := time + Adder1.Adder2.XOR.G2.delayTime;

[----]   if Adder1.Adder2.XOR.G2.lh == 0 or $FUN_2 < 1e-60 then
[----]     Adder1.Adder2.XOR.G2.y_auxiliary := Adder1.Adder2.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder1.Adder2.XOR.G2.t_next then
[----]   Adder1.Adder2.XOR.G2.y_auxiliary := Adder1.Adder2.XOR.G2.x;
[----] end when;

[----] Adder1.Adder2.XOR.G2.y := if Adder1.Adder2.XOR.G2.tLH > 0.0 or Adder1.Adder2.XOR.G2.tHL > 0.0 then Adder1.Adder2.XOR.G2.y_auxiliary else Adder1.Adder2.XOR.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_15)
[----] when {initial(), ((Adder1.Adder2.AND.G2.tLH > 0.0 or Adder1.Adder2.AND.G2.tHL > 0.0) and change(Adder1.Adder2.AND.G2.x)) and not initial()} then
[----]   Adder1.Adder2.AND.G2.y_old := if initial() or $PRE.Adder1.Adder2.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder2.AND.G2.y0 else $PRE.Adder1.Adder2.AND.G2.y;
[----]   Adder1.Adder2.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder2.AND.G2.y_old, Adder1.Adder2.AND.G2.x];
[----]   Adder1.Adder2.AND.G2.delayTime := if Adder1.Adder2.AND.G2.lh > 0 then Adder1.Adder2.AND.G2.tLH else if Adder1.Adder2.AND.G2.lh < 0 then Adder1.Adder2.AND.G2.tHL else 0.0;
[----]   Adder1.Adder2.AND.G2.t_next := time + Adder1.Adder2.AND.G2.delayTime;

[----]   if Adder1.Adder2.AND.G2.lh == 0 or $FUN_1 < 1e-60 then
[----]     Adder1.Adder2.AND.G2.y_auxiliary := Adder1.Adder2.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder1.Adder2.AND.G2.t_next then
[----]   Adder1.Adder2.AND.G2.y_auxiliary := Adder1.Adder2.AND.G2.x;
[----] end when;

[----] Adder1.Adder2.AND.G2.y := if Adder1.Adder2.AND.G2.tLH > 0.0 or Adder1.Adder2.AND.G2.tHL > 0.0 then Adder1.Adder2.AND.G2.y_auxiliary else Adder1.Adder2.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_9)
[----] when {initial(), ((Adder2.Adder1.AND.G2.tLH > 0.0 or Adder2.Adder1.AND.G2.tHL > 0.0) and change(Adder2.Adder1.AND.G2.x)) and not initial()} then
[----]   Adder2.Adder1.AND.G2.y_old := if initial() or $PRE.Adder2.Adder1.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder2.Adder1.AND.G2.y0 else $PRE.Adder2.Adder1.AND.G2.y;
[----]   Adder2.Adder1.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder2.Adder1.AND.G2.y_old, Adder2.Adder1.AND.G2.x];
[----]   Adder2.Adder1.AND.G2.delayTime := if Adder2.Adder1.AND.G2.lh > 0 then Adder2.Adder1.AND.G2.tLH else if Adder2.Adder1.AND.G2.lh < 0 then Adder2.Adder1.AND.G2.tHL else 0.0;
[----]   Adder2.Adder1.AND.G2.t_next := time + Adder2.Adder1.AND.G2.delayTime;

[----]   if Adder2.Adder1.AND.G2.lh == 0 or $FUN_7 < 1e-60 then
[----]     Adder2.Adder1.AND.G2.y_auxiliary := Adder2.Adder1.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder2.Adder1.AND.G2.t_next then
[----]   Adder2.Adder1.AND.G2.y_auxiliary := Adder2.Adder1.AND.G2.x;
[----] end when;

[----] Adder2.Adder1.AND.G2.y := if Adder2.Adder1.AND.G2.tLH > 0.0 or Adder2.Adder1.AND.G2.tHL > 0.0 then Adder2.Adder1.AND.G2.y_auxiliary else Adder2.Adder1.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_8)
[----] when {initial(), ((Adder2.Adder1.XOR.G2.tLH > 0.0 or Adder2.Adder1.XOR.G2.tHL > 0.0) and change(Adder2.Adder1.XOR.G2.x)) and not initial()} then
[----]   Adder2.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder2.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder2.Adder1.XOR.G2.y0 else $PRE.Adder2.Adder1.XOR.G2.y;
[----]   Adder2.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder2.Adder1.XOR.G2.y_old, Adder2.Adder1.XOR.G2.x];
[----]   Adder2.Adder1.XOR.G2.delayTime := if Adder2.Adder1.XOR.G2.lh > 0 then Adder2.Adder1.XOR.G2.tLH else if Adder2.Adder1.XOR.G2.lh < 0 then Adder2.Adder1.XOR.G2.tHL else 0.0;
[----]   Adder2.Adder1.XOR.G2.t_next := time + Adder2.Adder1.XOR.G2.delayTime;

[----]   if Adder2.Adder1.XOR.G2.lh == 0 or $FUN_8 < 1e-60 then
[----]     Adder2.Adder1.XOR.G2.y_auxiliary := Adder2.Adder1.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder2.Adder1.XOR.G2.t_next then
[----]   Adder2.Adder1.XOR.G2.y_auxiliary := Adder2.Adder1.XOR.G2.x;
[----] end when;

[----] Adder2.Adder1.XOR.G2.y := if Adder2.Adder1.XOR.G2.tLH > 0.0 or Adder2.Adder1.XOR.G2.tHL > 0.0 then Adder2.Adder1.XOR.G2.y_auxiliary else Adder2.Adder1.XOR.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_7)
[----] when {initial(), ((Adder3.Adder2.AND.G2.tLH > 0.0 or Adder3.Adder2.AND.G2.tHL > 0.0) and change(Adder3.Adder2.AND.G2.x)) and not initial()} then
[----]   Adder3.Adder2.AND.G2.y_old := if initial() or $PRE.Adder3.Adder2.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder3.Adder2.AND.G2.y0 else $PRE.Adder3.Adder2.AND.G2.y;
[----]   Adder3.Adder2.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder3.Adder2.AND.G2.y_old, Adder3.Adder2.AND.G2.x];
[----]   Adder3.Adder2.AND.G2.delayTime := if Adder3.Adder2.AND.G2.lh > 0 then Adder3.Adder2.AND.G2.tLH else if Adder3.Adder2.AND.G2.lh < 0 then Adder3.Adder2.AND.G2.tHL else 0.0;
[----]   Adder3.Adder2.AND.G2.t_next := time + Adder3.Adder2.AND.G2.delayTime;

[----]   if Adder3.Adder2.AND.G2.lh == 0 or $FUN_9 < 1e-60 then
[----]     Adder3.Adder2.AND.G2.y_auxiliary := Adder3.Adder2.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder3.Adder2.AND.G2.t_next then
[----]   Adder3.Adder2.AND.G2.y_auxiliary := Adder3.Adder2.AND.G2.x;
[----] end when;

[----] Adder3.Adder2.AND.G2.y := if Adder3.Adder2.AND.G2.tLH > 0.0 or Adder3.Adder2.AND.G2.tHL > 0.0 then Adder3.Adder2.AND.G2.y_auxiliary else Adder3.Adder2.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_6)
[----] when {initial(), ((Adder3.Adder2.XOR.G2.tLH > 0.0 or Adder3.Adder2.XOR.G2.tHL > 0.0) and change(Adder3.Adder2.XOR.G2.x)) and not initial()} then
[----]   Adder3.Adder2.XOR.G2.y_old := if initial() or $PRE.Adder3.Adder2.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder3.Adder2.XOR.G2.y0 else $PRE.Adder3.Adder2.XOR.G2.y;
[----]   Adder3.Adder2.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder3.Adder2.XOR.G2.y_old, Adder3.Adder2.XOR.G2.x];
[----]   Adder3.Adder2.XOR.G2.delayTime := if Adder3.Adder2.XOR.G2.lh > 0 then Adder3.Adder2.XOR.G2.tLH else if Adder3.Adder2.XOR.G2.lh < 0 then Adder3.Adder2.XOR.G2.tHL else 0.0;
[----]   Adder3.Adder2.XOR.G2.t_next := time + Adder3.Adder2.XOR.G2.delayTime;

[----]   if Adder3.Adder2.XOR.G2.lh == 0 or $FUN_10 < 1e-60 then
[----]     Adder3.Adder2.XOR.G2.y_auxiliary := Adder3.Adder2.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder3.Adder2.XOR.G2.t_next then
[----]   Adder3.Adder2.XOR.G2.y_auxiliary := Adder3.Adder2.XOR.G2.x;
[----] end when;

[----] Adder3.Adder2.XOR.G2.y := if Adder3.Adder2.XOR.G2.tLH > 0.0 or Adder3.Adder2.XOR.G2.tHL > 0.0 then Adder3.Adder2.XOR.G2.y_auxiliary else Adder3.Adder2.XOR.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_5)
[----] when {initial(), ((Adder3.Adder1.AND.G2.tLH > 0.0 or Adder3.Adder1.AND.G2.tHL > 0.0) and change(Adder3.Adder1.AND.G2.x)) and not initial()} then
[----]   Adder3.Adder1.AND.G2.y_old := if initial() or $PRE.Adder3.Adder1.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder3.Adder1.AND.G2.y0 else $PRE.Adder3.Adder1.AND.G2.y;
[----]   Adder3.Adder1.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder3.Adder1.AND.G2.y_old, Adder3.Adder1.AND.G2.x];
[----]   Adder3.Adder1.AND.G2.delayTime := if Adder3.Adder1.AND.G2.lh > 0 then Adder3.Adder1.AND.G2.tLH else if Adder3.Adder1.AND.G2.lh < 0 then Adder3.Adder1.AND.G2.tHL else 0.0;
[----]   Adder3.Adder1.AND.G2.t_next := time + Adder3.Adder1.AND.G2.delayTime;

[----]   if Adder3.Adder1.AND.G2.lh == 0 or $FUN_11 < 1e-60 then
[----]     Adder3.Adder1.AND.G2.y_auxiliary := Adder3.Adder1.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder3.Adder1.AND.G2.t_next then
[----]   Adder3.Adder1.AND.G2.y_auxiliary := Adder3.Adder1.AND.G2.x;
[----] end when;

[----] Adder3.Adder1.AND.G2.y := if Adder3.Adder1.AND.G2.tLH > 0.0 or Adder3.Adder1.AND.G2.tHL > 0.0 then Adder3.Adder1.AND.G2.y_auxiliary else Adder3.Adder1.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_4)
[----] when {initial(), ((Adder3.Adder1.XOR.G2.tLH > 0.0 or Adder3.Adder1.XOR.G2.tHL > 0.0) and change(Adder3.Adder1.XOR.G2.x)) and not initial()} then
[----]   Adder3.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder3.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder3.Adder1.XOR.G2.y0 else $PRE.Adder3.Adder1.XOR.G2.y;
[----]   Adder3.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder3.Adder1.XOR.G2.y_old, Adder3.Adder1.XOR.G2.x];
[----]   Adder3.Adder1.XOR.G2.delayTime := if Adder3.Adder1.XOR.G2.lh > 0 then Adder3.Adder1.XOR.G2.tLH else if Adder3.Adder1.XOR.G2.lh < 0 then Adder3.Adder1.XOR.G2.tHL else 0.0;
[----]   Adder3.Adder1.XOR.G2.t_next := time + Adder3.Adder1.XOR.G2.delayTime;

[----]   if Adder3.Adder1.XOR.G2.lh == 0 or $FUN_12 < 1e-60 then
[----]     Adder3.Adder1.XOR.G2.y_auxiliary := Adder3.Adder1.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder3.Adder1.XOR.G2.t_next then
[----]   Adder3.Adder1.XOR.G2.y_auxiliary := Adder3.Adder1.XOR.G2.x;
[----] end when;

[----] Adder3.Adder1.XOR.G2.y := if Adder3.Adder1.XOR.G2.tLH > 0.0 or Adder3.Adder1.XOR.G2.tHL > 0.0 then Adder3.Adder1.XOR.G2.y_auxiliary else Adder3.Adder1.XOR.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_3)
[----] when {initial(), ((Adder4.Adder2.AND.G2.tLH > 0.0 or Adder4.Adder2.AND.G2.tHL > 0.0) and change(Adder4.Adder2.AND.G2.x)) and not initial()} then
[----]   Adder4.Adder2.AND.G2.y_old := if initial() or $PRE.Adder4.Adder2.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder4.Adder2.AND.G2.y0 else $PRE.Adder4.Adder2.AND.G2.y;
[----]   Adder4.Adder2.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder4.Adder2.AND.G2.y_old, Adder4.Adder2.AND.G2.x];
[----]   Adder4.Adder2.AND.G2.delayTime := if Adder4.Adder2.AND.G2.lh > 0 then Adder4.Adder2.AND.G2.tLH else if Adder4.Adder2.AND.G2.lh < 0 then Adder4.Adder2.AND.G2.tHL else 0.0;
[----]   Adder4.Adder2.AND.G2.t_next := time + Adder4.Adder2.AND.G2.delayTime;

[----]   if Adder4.Adder2.AND.G2.lh == 0 or $FUN_13 < 1e-60 then
[----]     Adder4.Adder2.AND.G2.y_auxiliary := Adder4.Adder2.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder4.Adder2.AND.G2.t_next then
[----]   Adder4.Adder2.AND.G2.y_auxiliary := Adder4.Adder2.AND.G2.x;
[----] end when;

[----] Adder4.Adder2.AND.G2.y := if Adder4.Adder2.AND.G2.tLH > 0.0 or Adder4.Adder2.AND.G2.tHL > 0.0 then Adder4.Adder2.AND.G2.y_auxiliary else Adder4.Adder2.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_2)
[----] when {initial(), ((Adder4.Adder2.XOR.G2.tLH > 0.0 or Adder4.Adder2.XOR.G2.tHL > 0.0) and change(Adder4.Adder2.XOR.G2.x)) and not initial()} then
[----]   Adder4.Adder2.XOR.G2.y_old := if initial() or $PRE.Adder4.Adder2.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder4.Adder2.XOR.G2.y0 else $PRE.Adder4.Adder2.XOR.G2.y;
[----]   Adder4.Adder2.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder4.Adder2.XOR.G2.y_old, Adder4.Adder2.XOR.G2.x];
[----]   Adder4.Adder2.XOR.G2.delayTime := if Adder4.Adder2.XOR.G2.lh > 0 then Adder4.Adder2.XOR.G2.tLH else if Adder4.Adder2.XOR.G2.lh < 0 then Adder4.Adder2.XOR.G2.tHL else 0.0;
[----]   Adder4.Adder2.XOR.G2.t_next := time + Adder4.Adder2.XOR.G2.delayTime;

[----]   if Adder4.Adder2.XOR.G2.lh == 0 or $FUN_14 < 1e-60 then
[----]     Adder4.Adder2.XOR.G2.y_auxiliary := Adder4.Adder2.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder4.Adder2.XOR.G2.t_next then
[----]   Adder4.Adder2.XOR.G2.y_auxiliary := Adder4.Adder2.XOR.G2.x;
[----] end when;

[----] Adder4.Adder2.XOR.G2.y := if Adder4.Adder2.XOR.G2.tLH > 0.0 or Adder4.Adder2.XOR.G2.tHL > 0.0 then Adder4.Adder2.XOR.G2.y_auxiliary else Adder4.Adder2.XOR.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_1)
[----] when {initial(), ((Adder4.Adder1.AND.G2.tLH > 0.0 or Adder4.Adder1.AND.G2.tHL > 0.0) and change(Adder4.Adder1.AND.G2.x)) and not initial()} then
[----]   Adder4.Adder1.AND.G2.y_old := if initial() or $PRE.Adder4.Adder1.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder4.Adder1.AND.G2.y0 else $PRE.Adder4.Adder1.AND.G2.y;
[----]   Adder4.Adder1.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder4.Adder1.AND.G2.y_old, Adder4.Adder1.AND.G2.x];
[----]   Adder4.Adder1.AND.G2.delayTime := if Adder4.Adder1.AND.G2.lh > 0 then Adder4.Adder1.AND.G2.tLH else if Adder4.Adder1.AND.G2.lh < 0 then Adder4.Adder1.AND.G2.tHL else 0.0;
[----]   Adder4.Adder1.AND.G2.t_next := time + Adder4.Adder1.AND.G2.delayTime;

[----]   if Adder4.Adder1.AND.G2.lh == 0 or $FUN_15 < 1e-60 then
[----]     Adder4.Adder1.AND.G2.y_auxiliary := Adder4.Adder1.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder4.Adder1.AND.G2.t_next then
[----]   Adder4.Adder1.AND.G2.y_auxiliary := Adder4.Adder1.AND.G2.x;
[----] end when;

[----] Adder4.Adder1.AND.G2.y := if Adder4.Adder1.AND.G2.tLH > 0.0 or Adder4.Adder1.AND.G2.tHL > 0.0 then Adder4.Adder1.AND.G2.y_auxiliary else Adder4.Adder1.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_0)
[----] when {initial(), ((Adder4.Adder1.XOR.G2.tLH > 0.0 or Adder4.Adder1.XOR.G2.tHL > 0.0) and change(Adder4.Adder1.XOR.G2.x)) and not initial()} then
[----]   Adder4.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder4.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder4.Adder1.XOR.G2.y0 else $PRE.Adder4.Adder1.XOR.G2.y;
[----]   Adder4.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder4.Adder1.XOR.G2.y_old, Adder4.Adder1.XOR.G2.x];
[----]   Adder4.Adder1.XOR.G2.delayTime := if Adder4.Adder1.XOR.G2.lh > 0 then Adder4.Adder1.XOR.G2.tLH else if Adder4.Adder1.XOR.G2.lh < 0 then Adder4.Adder1.XOR.G2.tHL else 0.0;
[----]   Adder4.Adder1.XOR.G2.t_next := time + Adder4.Adder1.XOR.G2.delayTime;

[----]   if Adder4.Adder1.XOR.G2.lh == 0 or $FUN_16 < 1e-60 then
[----]     Adder4.Adder1.XOR.G2.y_auxiliary := Adder4.Adder1.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder4.Adder1.XOR.G2.t_next then
[----]   Adder4.Adder1.XOR.G2.y_auxiliary := Adder4.Adder1.XOR.G2.x;
[----] end when;

[----] Adder4.Adder1.XOR.G2.y := if Adder4.Adder1.XOR.G2.tLH > 0.0 or Adder4.Adder1.XOR.G2.tHL > 0.0 then Adder4.Adder1.XOR.G2.y_auxiliary else Adder4.Adder1.XOR.G2.x;

         slice: {4, 5}