1((declare (in) float a) (declare (in) float b)
2 (function sub
3  (signature float (parameters)
4   ((declare (temporary) bool execute_flag)
5    (assign (x) (var_ref execute_flag) (constant bool (1)))
6    (declare (temporary) float return_value)
7    (declare (temporary) bool return_flag)
8    (assign (x) (var_ref return_flag) (constant bool (0)))
9    (if (expression bool > (var_ref a) (constant float (0.000000)))
10     ((if (expression bool > (var_ref b) (constant float (0.000000)))
11       ((assign (x) (var_ref return_value) (constant float (1.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     ((assign (x) (var_ref return_value) (constant float (2.000000)))
18      (assign (x) (var_ref return_flag) (constant bool (1)))
19      (assign (x) (var_ref execute_flag) (constant bool (0))))
20     ())
21    (return (var_ref return_value))))))
22