1((declare (in) float aa) (declare (in) float ab) (declare (in) float b)
2 (function main
3  (signature void (parameters)
4   ((declare (temporary) bool break_flag)
5    (assign (x) (var_ref break_flag) (constant bool (0)))
6    (loop () () () ()
7     ((declare (temporary) bool execute_flag)
8      (assign (x) (var_ref execute_flag) (constant bool (1)))
9      (if (expression bool > (var_ref aa) (constant float (0.000000)))
10       ((if (expression bool > (var_ref ab) (constant float (0.000000)))
11         ((assign (x) (var_ref execute_flag) (constant bool (0))))
12         ()))
13       ())
14      (if (var_ref execute_flag)
15       ((if (expression bool > (var_ref b) (constant float (0.000000)))
16         ((assign (x) (var_ref break_flag) (constant bool (1)))
17          (assign (x) (var_ref execute_flag) (constant bool (0))))
18         ()))
19       ())
20      (if (var_ref break_flag) (break) ())))))))
21