1((declare (in) float a) (declare (in) float b) 2 (function sub 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