(define sample-program2 '(def-func foo2 (begin (:= x (+ (- (- x y) 2 (+ x y)) (- (- x z) 3 (+ x z)) (+ y z) 5)) (if (or (and x y) (and (not x) (not y))) (:= result x) (:= result (not x)))))) (trans-def-func sample-program2) ==> .....