1((declare (in) float a)
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     ((assign (x) (var_ref return_value) (constant float (1.000000)))
11      (assign (x) (var_ref return_flag) (constant bool (1)))
12      (assign (x) (var_ref execute_flag) (constant bool (0))))
13     ((assign (x) (var_ref return_value) (constant float (2.000000)))
14      (assign (x) (var_ref return_flag) (constant bool (1)))
15      (assign (x) (var_ref execute_flag) (constant bool (0)))))
16    (return (var_ref return_value))))))
17