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