((declare (out) float a) (declare (out) float b)
(function sub
(signature float (parameters)
((loop () () () ()
((assign (x) (var_ref a) (constant float (1.000000)))
(return (constant float (2.000000)))))
(assign (x) (var_ref b) (constant float (3.000000)))
(return (constant float (4.000000)))))))