1((declare (in) float aa) (declare (in) float ab) (declare (in) float b) 2 (declare (in) float c) 3 (function main 4 (signature void (parameters) 5 ((declare (temporary) bool execute_flag) 6 (assign (x) (var_ref execute_flag) (constant bool (1))) 7 (declare (temporary) bool return_flag) 8 (assign (x) (var_ref return_flag) (constant bool (0))) 9 (if (expression bool > (var_ref aa) (constant float (0.000000))) 10 ((if (expression bool > (var_ref ab) (constant float (0.000000))) 11 ((assign (x) (var_ref return_flag) (constant bool (1))) 12 (assign (x) (var_ref execute_flag) (constant bool (0)))) 13 ())) 14 ()) 15 (if (var_ref execute_flag) 16 ((if (expression bool > (var_ref b) (constant float (0.000000))) 17 ((if (expression bool > (var_ref c) (constant float (0.000000))) () ()) 18 (assign (x) (var_ref return_flag) (constant bool (1))) 19 (assign (x) (var_ref execute_flag) (constant bool (0)))) 20 ())) 21 ()))))) 22