1
((declare (in) float aa) (declare (in) float ab) (declare (in) float b)
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))))
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))))