(if (< a b) (begin (:= x a) (:= a b) (:= b x)) (:= a (if (<> c 12) 6 7)))