(>= (f18 (var x5)) (var x5))
(>= (f19 (var x3)) (var x3))
(>=
 (f20 (var x3) (var x5))
 (f1
  (f18 (var x5))
  (f19 (var x3))))
(>=
 (f1 (+ (var x5) 1) (var x3))
 (+ (f20 (var x3) (var x5)) 1))
(>= (f1 0 (var x8)) (var x8))