1((declare (in) float aa) (declare (in) float ab) (declare (in) float b) 2 (declare (in) float c) 3 (declare (out) float d) 4 (function main 5 (signature void (parameters) 6 ((declare (temporary) bool execute_flag) 7 (assign (x) (var_ref execute_flag) (constant bool (1))) 8 (declare (temporary) bool return_flag) 9 (assign (x) (var_ref return_flag) (constant bool (0))) 10 (if (expression bool > (var_ref aa) (constant float (0.000000))) 11 ((if (expression bool > (var_ref ab) (constant float (0.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 ((loop () () () () 18 ((if (expression bool > (var_ref b) (constant float (0.000000))) 19 ((if (expression bool > (var_ref c) (constant float (0.000000))) () 20 (continue))) 21 ((assign (x) (var_ref return_flag) (constant bool (1))))) 22 break)) 23 (if (var_ref return_flag) () 24 ((assign (x) (var_ref d) (constant float (1.000000)))))) 25 ()))))) 26