Remove closure output as intermediate code
Continue constant optimization while it is possible (simm.ml)