(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))