(def a #f)
(def b #t)
(def x #f)
(def y #t)

(if (if a b #f) x y)