(assert= 7 (if true 7 9))
(assert= 9 (if false 7 9))

($ (max x y)
   (if (> x y)
       x
       y
))

(assert= 32 (max 3 32))
(assert= 329 (max 329 32))