(assert-eqv! 4 (if true 4 6))
(assert-eqv! 29 (if false 7 29))
(assert-eqv! 7 (if
true
7
(assert-eqv! 0 1)))
(assert-eqv! 4 (if
false
(assert-eqv! 0 1)
4))