Function implementing IF that under FGL interpretation makes a :g-ite object instead of doing the usual merging process.
(if! x y z) → *
Function: if!
(defun if! (x y z) (declare (xargs :guard t)) (let ((__function__ 'if!)) (declare (ignorable __function__)) (if x y z)))
