fixing print mini_c

type:none

optimizations are back in print mini-c ?

print mini-c path/to/program will run optimizer on the program (which has already been aggregated) :

 let decl1 = <expr> in
 ..
 let declN = <expr> in
 unit

print mini-c path/to/program --optimize main will run optimizer on the same 'program' that compile contract is generating (eta expension) :

fun (param,sto) ->
  let decl1 = <expr> in
  let main = <expr> in
  ..
  let declN = <expr> in
  main param sto

And just give you the optimized body of that lambda