Output polynomial

[TravisLEBLANC1]

I would like to be able to give the degree of the polynomial that bounds the function call and the output size
like for example

./bin/faustml -a -poly prog.ml
> output size is smaller than a polynomial of degree 4
> function calls are bounded by a polynomial of degree 6

This require more investigation to extract the polynomial from the proof and see how we can find it in the implementation