($ a (if true 12 78))
($ b (if false 46 966))

(assert= 12 a)
(assert= 966 b)