(Capacity
 = 5000.0)
(Constant2 = 0.0)
(Product = (1.0/5000.0*WarningInput))
(Constant3 = 1.0)
(WarningInput/5000.0 > 0.01 -> ((Switch1 = 0.0))) | (WarningInput/5000.0 <= 0.01 -> ((Switch1 = 1.0)))
(WarningInput/5000.0 > 0.01 -> ((Warning = 0.0))) | (WarningInput/5000.0 <= 0.01 -> ((Warning = 1.0)))

Zu zeigen:
Product <= MAX_INT
Product >= MIN_INT
