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