1 2 3 4 5 6 7 8
((declare (in) float a) (declare (in) float b) (function main (signature void (parameters) ((if (expression bool > (var_ref a) (constant float (0.000000))) ((if (expression bool > (var_ref b) (constant float (0.000000))) ((return)) ())) ())))))