1((declare (in) float a) (declare (in) float b)
2 (function main
3  (signature void (parameters)
4   ((declare (temporary) bool execute_flag)
5    (assign (x) (var_ref execute_flag) (constant bool (1)))
6    (declare (temporary) bool return_flag)
7    (assign (x) (var_ref return_flag) (constant bool (0)))
8    (if (expression bool > (var_ref a) (constant float (0.000000)))
9     ((if (expression bool > (var_ref b) (constant float (0.000000)))
10       ((assign (x) (var_ref return_flag) (constant bool (1)))
11        (assign (x) (var_ref execute_flag) (constant bool (0))))
12       ()))
13     ())))))
14