Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.2_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.2.2_Modelica.Electrical.Digital.Examples.Adder4")
translateModel(Modelica.Electrical.Digital.Examples.Adder4,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_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.001308/0.001308, allocations: 113 kB / 17.75 MB, free: 5.305 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.00113/0.00113, allocations: 184.7 kB / 18.68 MB, free: 4.383 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.283/1.283, allocations: 205.1 MB / 224.6 MB, free: 12.21 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 1.988e-05/1.989e-05, allocations: 3.266 kB / 328.5 MB, free: 3.328 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Adder4): time 0.005607/0.005634, allocations: 5.839 MB / 334.3 MB, free: 13.46 MB / 286.1 MB
Notification: Performance of NFInst.instExpressions: time 0.004102/0.009749, allocations: 2.488 MB / 336.8 MB, free: 10.96 MB / 286.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0003439/0.01011, allocations: 31.81 kB / 336.9 MB, free: 10.93 MB / 286.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0004301/0.01054, allocations: 233.9 kB / 337.1 MB, free: 10.7 MB / 286.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0004792/0.01105, allocations: 281.6 kB / 337.4 MB, free: 10.43 MB / 286.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.001247/0.0123, allocations: 0.8546 MB / 338.2 MB, free: 9.57 MB / 286.1 MB
Notification: Performance of NFFlatten.flatten: time 0.002553/0.01486, allocations: 3.018 MB / 341.2 MB, free: 6.547 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0009621/0.01583, allocations: 0.8297 MB / 342.1 MB, free: 5.68 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.002623/0.01846, allocations: 2.963 MB / 345 MB, free: 2.711 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.001362/0.01984, allocations: 1.319 MB / 346.4 MB, free: 1.387 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0004036/0.02025, allocations: 292 kB / 346.6 MB, free: 1.102 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0004419/0.0207, allocations: 300 kB / 346.9 MB, free: 0.8086 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.002179/0.02288, allocations: 2.874 MB / 349.8 MB, free: 13.91 MB / 302.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0007538/0.02365, allocations: 1.424 MB / 351.2 MB, free: 12.46 MB / 302.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0003719/0.02402, allocations: 351.7 kB / 351.6 MB, free: 12.12 MB / 302.1 MB
Notification: Performance of FrontEnd: time 0.0001718/0.0242, allocations: 63.5 kB / 351.6 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.007697/0.03191, allocations: 8.605 MB / 360.2 MB, free: 3.246 MB / 302.1 MB
Notification: Performance of FunctionAlias: time 0.001521/0.03344, allocations: 1.571 MB / 361.8 MB, free: 1.629 MB / 302.1 MB
Notification: Performance of Early Inline: time 0.006499/0.03995, allocations: 6.834 MB / 368.6 MB, free: 10.73 MB / 318.1 MB
Notification: Performance of simplify1: time 0.0003138/0.04027, allocations: 191.5 kB / 368.8 MB, free: 10.55 MB / 318.1 MB
Notification: Performance of Alias: time 0.006756/0.04704, allocations: 6.536 MB / 375.4 MB, free: 3.594 MB / 318.1 MB
Notification: Performance of simplify2: time 0.0002347/0.04728, allocations: 147.4 kB / 375.5 MB, free: 3.449 MB / 318.1 MB
Notification: Performance of Events: time 0.002646/0.04994, allocations: 2.093 MB / 377.6 MB, free: 1.34 MB / 318.1 MB
Notification: Performance of Detect States: time 0.1602/0.2101, allocations: 3.525 MB / 381.1 MB, free: 38.18 MB / 318.1 MB
Notification: Performance of Partitioning: time 0.002616/0.2128, allocations: 2.244 MB / 383.4 MB, free: 37.99 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}