(declare-const switch_var Bool)
(declare-const wagenVAA Real)
(assert (= wagenVAA (ite (= switch_var true) wagenVAA (ite (= switch_var false) 0.0 0.0))))
(assert (= switch_var (not (="C-segment" "geen"))))
(check-sat)
(get-model)
(exit)