1
((declare (in) float a) (declare (in) float ba) (declare (in) float bb)
2
(declare (in) float ca)
3
(declare (in) float cb)
5
(signature void (parameters)
6
((declare (temporary) bool break_flag)
7
(assign (x) (var_ref break_flag) (constant bool (0)))
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))))
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))))
26
(if (var_ref execute_flag)
27
((assign (x) (var_ref break_flag) (constant bool (1))))
29
(if (var_ref break_flag) (break) ())))))))