(+ a b)
(if #t (+ a 0) (- b 9))
(+ (+ 1 a) (+ -1 b))
(- (- 1 a) (+ -1 b))
(- (if (>= (max b 0) 0) (+ b 1) (- b 1)) 1)
(or (and a b) (and a b))
(and (or a b) (or a b))
(and (not (or a b)) (or a b))
(min (max (+ xm (min 0 0)) lm) (min xm2 lm2))
(if (> (+ (- xmts lmts) xpos) (+ xaux_1 xpos)) xpos lpos)
(+ -4 (+ 4 (+ xsum lsum)))
(max 0 (max -2 (max x.m l.m)))
(+ (if (> xdiff 1) (- xdiff 1) (- xdiff 1)) (+ 1 l.diff))
(+ (+ 1 a) (+ (max -1 0) b))
(if (> a0 0) (and (> a b) (> (+ a a0) b)) (> a b))
(+ (- a 1) (if b (+ a 1) (+ a a0)))
(if (= (if (if a b #f) a #f) #t) (+ cl 1) 0)