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