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