(Constant = 0.0)

(DrugConsumption > 0.0
->
((Switch = ((-1.0)*DrugConsumption))))
|
(DrugConsumption <= 0.0
->
((Switch = 0.0)))

(DrugConsumption > 0.0
->
((Sum = (((-1.0)*DrugConsumption)+TankFill))))
|
(DrugConsumption <= 0.0
->
((Sum = (0.0+TankFill))))

(Sum = (TankFill+Switch))

(TankFill > 0.0
->
 ((Switch1 = (TankFill+Switch))))
 
|
(TankFill <= 0.0
->
((Switch1 = Switch)))

(((TankFill <= 0.0) & (DrugConsumption > 0.0))
  |
 ((TankFill > 0.0) & (DrugConsumption > 0.0))
->
 ((Switch1 = (((-1.0)*DrugConsumption)+TankFill))))
|
(((TankFill <= 0.0) & (DrugConsumption <= 0.0))
  |
 ((TankFill > 0.0) & (DrugConsumption <= 0.0))
->
((Switch1 = (0.0+TankFill))))

(((TankFill <= 0.0) & (DrugConsumption > 0.0))
  |
 ((TankFill > 0.0) & (DrugConsumption > 0.0))
->
 ((Switch1 = ((-1.0)*DrugConsumption))))
|
(((TankFill <= 0.0) & (DrugConsumption <= 0.0))
  |
 ((TankFill > 0.0) & (DrugConsumption <= 0.0))
->
((Switch1 = 0.0)))

Zu zeigen:
Switch1 < 0.0 -> (TankContent >= MIN_INT)
Switch1 > 0.0 -> (TankContent <= MAX_INT)
Sum <= MAX_INT
Sum >= MIN_INT
