1 ((declare (in) float a) (declare (in) float ba) (declare (in) float bb) 2 (declare (in) float ca) 3 (declare (in) float cb) 4 (function main 5 (signature void (parameters) 6 ((declare (temporary) bool break_flag) 7 (assign (x) (var_ref break_flag) (constant bool (0))) 8 (loop () () () () 9 ((declare (temporary) bool execute_flag) 10 (assign (x) (var_ref execute_flag) (constant bool (1))) 11 (if (expression bool > (var_ref a) (constant float (0.000000))) 12 ((if (expression bool > (var_ref ba) (constant float (0.000000))) 13 ((if (expression bool > (var_ref bb) (constant float (0.000000))) 14 ((assign (x) (var_ref execute_flag) (constant bool (0)))) 15 ())) 16 ()) 17 (if (var_ref execute_flag) 18 ((if (expression bool > (var_ref ca) (constant float (0.000000))) 19 ((if (expression bool > (var_ref cb) (constant float (0.000000))) 20 ((assign (x) (var_ref break_flag) (constant bool (1))) 21 (assign (x) (var_ref execute_flag) (constant bool (0)))) 22 ())) 23 ())) 24 ())) 25 ()) 26 (if (var_ref execute_flag) 27 ((assign (x) (var_ref break_flag) (constant bool (1)))) 28 ()) 29 (if (var_ref break_flag) (break) ()))))))) 30